TY - RPRT TI - Proper morphisms of $\infty$-topoi AU - Louis Martini AU - Sebastian Wolf PY - 2025 UR - https://arxiv.org/abs/2311.08051 ID - 2311.08051 ER -