Michael Makkai

Michael Makkai (; 24 June 1939 in Budapest, Hungary) is Canadian mathematician of Hungarian origin, specializing in mathematical logic. He works in model theory, category theory, algebraic logic, type theory and the theory of topoi. Provided by Wikipedia