Michael Makkai (Hungarian original Mihály Makkai) is a Canadian mathematician born in Hungary; he studied in Budapest and Warsaw. He is the inventor of anafunctors and FOLDS, which are both ways of doing category theory and higher category theory without violating the principle of equivalence or requiring the axiom of choice. Makkai is a pioneer in the category-theoretic approach to logic (which is mostly the approach that you see here on the $n$-Lab).
Models, logics, and higher-dimensional categories A tribute to the work of Mihály Makkai Proceedings of the meeting held at the Université de Montréal, June 18–20, 2009. Edited by Bradd Hart, Thomas G. Kucera, Anand Pillay, Philip J. Scott and Robert R.A.G. Seely. CRM Proceedings & Lecture Notes 53, Amer. Math. Soc. 2011. x+426 pp.
On accessible categories and categorical model theory via sketches:
Last revised on August 24, 2021 at 03:57:49. See the history of this page for a list of all contributions to it.