TY  - RPRT
TI  - Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
AU  - Yuhi Kamio
AU  - Ryuya Hora
PY  - 2025
DO  - 10.1016/j.aim.2025.110751
UR  - https://arxiv.org/abs/2407.17105
ID  - 2407.17105
ER  -