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