Michael Makkai

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

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

| 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

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