TY - RPRT TI - The homotopical monadicity theorem AU - Hana Jia Kong AU - J. Peter May AU - Foling Zou PY - 2026 UR - https://arxiv.org/abs/2607.12124 ID - 2607.12124 ER -