Year: 2026
Type: preprint
Abstract: 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 condition for the transfer of model structure to be successful. We conclude by showing if the transfer of model structure may be completed successively, then the Generalized Homotopy Hypothesis is true.
Source: arXiv (Cornell University)
Author: Taylor, Johnathon
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7154338435
Cites:
Cited by:
Related to: