Peter LeFanu Lumsdaine

ストックホルム大学 (Stockholm University) 所属（[Forssell–Lumsdaine–Swan 2026]）。ホモトピー型理論・圏論的論理学で知られる。michael-makkaiの証明の再構成・出版の共著者。

関連ページ

• michael-makkai
• henrik-forssell
• andrew-swan
• projectivity-of-N

出典

• Forssell, H., Lumsdaine, P. L., & Swan, A. W. (2026). Makkai’s Lost Proof of Projectivity of N in the Free Topos. arXiv:2604.01139v2 [math.LO]. https://arxiv.org/abs/2604.01139