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 -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 RAG Seely?. CRM Proceedings & Lecture Notes 53, Amer. Math. Soc. 2011. x+426 pp.
math genealogy entry