Michael Makkai

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

Curriculum Vitae

The papers below are in PostScript or pdf format. For hard copy please email me at Makkai@math.mcgill.ca

Papers

• | 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
• | Download | The multitopic omega-category of all multitopic omega-categories
• | Download | The multitopic omega-category of all multitopic omega-categories; corrected

A PDF of the previous (“The multitopic omega-category of all multitopic omega-categories; corrected”)

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

A PDF of the previous (“On comparing definitions of “weak-n-category”)

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

A PDF of the previous (“The word problem for computads”)

• 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.

Talks

• 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

Notes

Notes on Set Theory, Part 1

Notes on Set Theory, Part 2

Notes on FOLDS, Part 1. March 2013.

Notes on FOLDS, Part 2. March 2013.

Foundations Seminar (UdeM, 2010)

Various

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: 2013 03 13