An Inductive Strategy Towards a Solution to the Generalized Homotopy Hypothesis
Using the theory of distributive series of monads, we construct an $(\infty,0)$-coherator called the \emph{inductive coherator}. The category of models out of the inductive coherator serve as a model for $\infty$-groupoids that possess an underlying globular set. Once we establish the construction for the inductive coherator, we provide the framework for an inductive strategy to prove the Generalized Homotopy Hypothesis obtained by transferring model structure off of the category of $n$-groupoids onto the category of $(n+1)$-groupoids. Moreover, we provide a necessary and sufficient…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.09867
curl -X POST /api/v1/records/arxiv/2604.09867/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.09867/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'