[FOM] The Category of Categories, and Sketches

Andrej Bauer Andrej.Bauer at andrej.com
Mon Mar 6 17:54:29 EST 2006

On Monday 06 March 2006 09:58, Laurent Delattre wrote:
> I am interested in the axiomatic definition of the
> category of categories as a foundation for
> mathematics.

If you do not get good answers on this list, try the categories mailing list. 
It is read by people like Lawvere and Barr.


More information about the FOM mailing list