Algebraic coherators, controlled theories, and Grothendieck realizations
We introduce a construction of algebraic coherators for Grothendieck $\infty$-groupoids using the algebraic small object argument, replacing previous approaches we have used based on distributive series of monads with a more direct method for freely adjoining coherence data. Given a controlled theory, we define unreduced and reduced Grothendieck realizations, producing $\infty$-Lawvere theories and extending this construction functorially to connected diagrams of controlled theories. We apply this framework to construct globular models for monoidal $\infty$-groupoids, symmetric monoidal…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.28540
curl -X POST /api/v1/records/arxiv/2607.28540/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.28540/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'