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)

 

    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.

 

   Rearranging colimits: a categorical lemma due to Jacob Lurie.

 

Notes on Set Theory, Part 1

Notes on Set Theory, Part 2

 

 

Foundations Seminar (UdeM, 2010)

 

 

Various

 

MATH 247  Honours Applied Linear Algebra 

MATH 592  Mathematical Logic 2

 

MATH 338 2009 (temporary)

 

Publication tree was last updated 2007 April
For comments or help, please contact M. Makkai