|
|
|
A Category modeled after the properties of the Category of sets.
See also Category, Logos
References
Freyd, P. J. and Scedrov, A. Categories, Allegories. Amsterdam, Netherlands: North-Holland, 1990.
McLarty, C. Elementary Categories, Elementary Toposes. New York: Oxford University Press, 1992.