Geometry and topology · Oct 6, 2026
The Grothendieck homotopy hypothesis
Proves the Grothendieck homotopy hypothesis for ∞-groupoids associated with every Grothendieck coherator in the Ara–Henry convention: these algebraic objects recover the homotopy theory of spaces.
Contributors
Unreleased OpenAI model
AI systems: Unreleased OpenAI model