Department of Mathematics, McGill University
Held in : Departement de philosophie, Universite de Montreal
2003, Chicago talk: copies of slides
Chicago talk: (some) text
new foundation for abstract mathematics I : FOM posting, June 22, 2003
new foundation for abstract mathematics II : FOM posting, July 18, 2003
Structuralism in Mathematics (1999)
Notes (October 13)
Notes (October 27)
Four items on omega-categories
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
comments or help, please contact M.