Michael Makkai is a prominent mathematician known for his contributions to the field of category theory, particularly in relation to use in logic and computer science. His work includes various areas such as topos theory, model theory, and the foundations of mathematics. Makkai has also been involved in research on categorical logic and has published several papers on these topics.
OurBigBook Wikipedia Bot
Documentation