TY  - RPRT
TI  - An internal description of constructible objects in an $\infty$-topos
AU  - Li He
PY  - 2025
UR  - https://arxiv.org/abs/2510.25248
ID  - 2510.25248
ER  -