TY  - RPRT
TI  - Makkai's lost proof of projectivity of N in the free topos
AU  - Henrik Forssell
AU  - Peter LeFanu Lumsdaine
AU  - Andrew W. Swan
PY  - 2026
UR  - https://arxiv.org/abs/2604.01139
ID  - 2604.01139
ER  -