A.: Categories, Allegories (1990)

by P Freyd, Scedrov