TY - RPRT TI - Homotopy theory of stricter $n$-categories AU - Clémence Chanavat PY - 2025 UR - https://arxiv.org/abs/2509.26563 ID - 2509.26563 ER -