Phone: 514-398-3805

Fax: 514-398-3899

- | Download | On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (24 pages)
- | Download | Generalized sketches as a framework for completeness theorems (135 pages)

This file/paper is in 12 parts. - | Download | Avoiding the axiom of choice in general category theory (90 pages)

This file/paper is in 7 parts - | Download | Towards a Categorical Foundation of Mathematics [in TEX](in: Logic Colloquium '95 , Lecture Notes in Logic 11, Springer 1998;pp.153-190)
- |
Download | First Order Logic with Dependent Sorts, with Applications to Category Theory

PDF of TEX version of previous; proof-reading may be incomplete - | Download | The multitopic omega-category of all multitopic omega-categories
- | Download | The omega-category of all multitopic omega-categories; corrected

PDF version of the previous - | Download | On weak higher dimensional categories I. (with C. Hermida and J. Power)
- | Download | On comparing definitions of "weak n-category"

PDF version of the previous - | Download | Multitopic sets are the same as many-to-one computads (with V. Harnik and M. Zawadowski)
- | Download | The word problem for computads

PDF version of the previous - Computads and 2 dimensional pasting diagrams
- Computads and Multitopic Sets (with V. Harnik and M. Zawadowski)
- Rearranging colimits: a categorical lemma due to Jacob Lurie.
- The theory of abstract sets based on first-order logic with dependent types.

- Computads and weak omega-categories. Talk at CT2007, Carvoeiro (Portugal).
- Revisiting the coherence theory of bicategories and tricategories. Talk at the Category Theory Octoberfest, Montreal, 2008.
- Linton sketches. Talk at the Pare fest, June 2009.
- 2-dimensional Gabriel-Ulmer duality. Talk at the ASL Annual Meeting, March 2010, Washington, D. C.
- Semi-strict omega-categories. Talk at the CMS Annual Meeting, June 2010, Fredericton, N.B.
**FOLDS**. Talks at the Logic Department, Faculty of Arts & Humanities, Eötvös University, Budapest. March 2013.

See Notes on FOLDS- 2014 Nov 12. HOM is accessible, Part 1.
- 2014 Nov 12. HOM is accessible, Part 2.
- 2015 February 19 talk (Grothendieck meeting, UdeM)
- Brno 2014 February and Stockholm 2015 December talks: Lindstrom for FOLDS and a Correction

- Notes on FOLDS, Part 1. March 2013.
- Notes on FOLDS, Part 2. March 2013.
- Notes on FOLDS, Part 3. March 2013.

- Foundations Seminar (UdeM, 2010)

- 2015Feb19Talk
- 2015April14SKETCHESpart2
- 2015April07SketchNotes
- 2015March23CoherentCompletenessPart1'
- 2015March23CoherentCompletenessPart2
- 2015March02BitsnPieces
- 2015March03
- 2015March03Pretopos
- 2015Feb25March3TALK
- 2015Feb25March3TALKGeneral 2014Feb19Talk
- SmallObjectsNov082012version2
- TrivialExtensionVersion22012Nov3
- RearrangingWithPencilMarks2012March30
- 31807RUL
- Good diagrams 1 (2015 April 18)
- Good diagrams 2 (2015 April 26)
- New proof of GCT (2015 April 26)

- MATH 247 Honours Applied Linear Algebra
- MATH 592 Mathematical Logic 2
- MATH 338 2009 (temporary)
- MATH 318 Mathematical Logic

For comments or help, please contact M.Makkai

*Last modified: 2016 March 10*