Department of Mathematics,
Phone: 514-398-3812
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)
Four items on omega-categories
Two pages
from Plato’s Phaedrus
The next five are posted
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).
For
comments or help, please contact M.
Makkai