FOM: ZF-based category theory

Colin McLarty cxm7 at
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 mailing list