[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.

Andrej


More information about the FOM mailing list