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