Henrik Forssell
オスロ大学 (University of Oslo) 所属（[Forssell–Lumsdaine–Swan 2026]）。michael-makkaiの証明の再構成・出版の共著者。
関連ページ
出典
- 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