FOM: ZF-based category theory

[Colin McLarty]

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.

Colin