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

 

 

 

 Computads and 2 dimensional pasting diagrams

 

Computads and Multitopic Sets (with V. Harnik and M. Zawadowski)

 

Notes on Set Theory, Part 1

Notes on Set Theory, Part 2

 

 

Various

 

MATH 247  Honours Applied Linear Algebra 

 

MATH 223   Linear Algebra

 

MATH 338 History and Philosophy of Mathematics

 

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