TY - RPRT TI - Enriched homotopy-coherent structures AU - Hongyi Chu AU - Rune Haugseng PY - 2023 UR - https://arxiv.org/abs/2308.11502 ID - 2308.11502 ER -