TY - RPRT TI - A monoidal Dold-Kan correspondence for comodules AU - Maximilien Péroux PY - 2024 UR - https://arxiv.org/abs/2108.04835 ID - 2108.04835 ER -