TY - RPRT TI - Semi-strictification of $(\infty, n)$-categories AU - Clémence Chanavat AU - Amar Hadzihasanovic PY - 2025 UR - https://arxiv.org/abs/2507.00146 ID - 2507.00146 ER -