FOM: ZF-based category theory

Martin Schlottmann martin_schlottmann at
Wed Jan 21 15:39:34 EST 1998

Kanovei wrote:
> [...]
> We can get in trouble only if they essentially
> need sometimes quantifiers over categories (say to define
> sets), which cannot be handled this way, at least directly
> --- but I do not know whether they really need this.
> [...]

In order to settle this question once and for all time
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.

Any suggestions?

Martin Schlottmann <martin_schlottmann at>

Department of Mathematical Sciences, CAB 583
University of Alberta, Edmonton AB T6G 2G1, Canada

More information about the FOM mailing list