Michael Makkai

Department of Mathematics, McGill University
Phone: 514-398-3812

Foundations of Mathematics Seminar

 

Held in : Departement de philosophie, Universite de Montreal

 

News (continuously updated)

 

ASL 2003, Chicago talk: copies of slides

 

ASL 2003, Chicago talk: (some) text

 

A new foundation for abstract mathematics I : FOM posting, June 22, 2003

 

A new foundation for abstract mathematics II : FOM posting, July 18, 2003

 

On Structuralism in Mathematics (1999)

 

Notes (October 13)

Notes (October 27)

The Saskatoon Notes

Four items on omega-categories

      Item 1

      Item 2

      Item 3

      Item 4

 

Two pages from Plato’s Phaedrus

The next five are posted March 17, 2011:

          1. The syntax of FOLDS from scratch (copies of slides).

 

          2.  Syntax and semantics of FOLDS (extract (section 8) from paper M.M., Towards a Categorical Foundation of Mathematics, Logic Colloquium 95, Springer Lecture Notes in Logic no. 11, pp. 153-190).

 

          3. The invariance theorem purely algebraically [hard to understand without instructions] (copies of slides)

 

          4. Alternative definition of anafunctor (copies of slides).

 

          5. FOLDS for anafunctors

 


For comments or help, please contact M. Makkai