TY - RPRT TI - Separability in homotopical algebra AU - Maxime Ramzi PY - 2023 UR - https://arxiv.org/abs/2305.17236 ID - 2305.17236 ER -