Michael Makkai
圏論学者。McGill大学（モントリオール）名誉教授。
主な業績
- Makkaiの失われた証明（1980）: 自由トポスにおけるN（自然数対象）の射影性。未出版ノートとして長らく失われていたとされていたが、2015年12月にストックホルムで自身のノートを発掘し、Forssell・Lumsdaine・Swanによる再構成・出版（[Forssell–Lumsdaine–Swan 2026]）を承認。
- Makkai duality: ブール値トポスに関する双対性
- Lambekとの共著“Intuitionist Type Theory” （未出版、広く流通したメモ）