TY  - RPRT
TI  - Toward the effective 2-topos
AU  - Steve Awodey
AU  - Jacopo Emmenegger
PY  - 2025
DO  - 10.1017/s0960129525100352
UR  - https://arxiv.org/abs/2503.24279
ID  - 2503.24279
ER  -