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”)

 

Talks

 

 

 

 

 

 

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

Notes on FOLDS, Part 3. 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