Freyd and Andre Scedrov, Categories, allegories (1990)

by J Peter
Venue:North-Holland Mathematical Library