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