FOM: ZF-based category theory
cxm7 at po.cwru.edu
Wed Jan 21 19:13:57 EST 1998
Martin Schlottmann wrote
>it would be nice if there would be one single axiomatic
>system for the theory of categories to which every
>category theorist agree and in which every construction
>of categories they need can be carried out.
We are no more likely to see this, than to see one large cardinal
axiom that all set theorists agree is "big enough" for all their purposes.
More information about the FOM