TY - RPRT TI - Internal 1-topoi in 2-topoi AU - Joseph Helfer PY - 2026 UR - https://arxiv.org/abs/2407.19358 ID - 2407.19358 ER -