# Michael Makkai

Department of Mathematics, McGill University

Phone: 514-398-3812

## Foundations of
Mathematics Seminar

Held in : Departement de philosophie, Universite de Montreal

__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__