TY - RPRT TI - On the Bénabou-Roubaud theorem AU - Bruno Kahn PY - 2025 UR - https://arxiv.org/abs/2404.00868 ID - 2404.00868 ER -