TY  - RPRT
TI  - Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets
AU  - Ryuya Hora
AU  - Yuhi Kamio
AU  - Yuki Maehara
PY  - 2025
UR  - https://arxiv.org/abs/2503.03439
ID  - 2503.03439
ER  -