{"id":"arxiv/2607.12124","url":"https://arxiv.org/abs/2607.12124","tags":["math.AT"],"score":0,"title":"The homotopical monadicity theorem","domain":"math.AT","source":"arxiv","authors":["Hana Jia Kong","J. Peter May","Foling Zou"],"reviews":0,"subject":"math.AT","summary":"We give an axiomatic homotopical analog of the classical categorical Beck monadicity theorem. It often holds when classical monadicity fails. This grew out of an understanding of a general context for recognition principles in iterated loop space theory, as treated in the logical sequel ArXiv 2402.03649, but the present result applies differently and more generally. An example gives a new perspective on the old equivalence between simplicial sets and topological spaces: both are equivalent to simplicial topological spaces, and the equivalence implies a curiously close relationship between…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}