The homotopical monadicity theorem

Hana Jia Kong, J. Peter May, Foling Zou

arXivarxiv/2607.12124Jul 13, 2026math.ATscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2607.12124
curl -X POST /api/v1/records/arxiv/2607.12124/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.12124/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'