Homotopy Hypothesis¶
Assert that homotopy types of spaces and suitably weak infinity-groupoids present equivalent homotopy theories, with paths, homotopies, and all higher homotopies represented as invertible higher morphisms.
Core Idea¶
The homotopy hypothesis says that spaces viewed only up to homotopy and suitably weak infinity-groupoids encode the same mathematics. A point becomes an object, a path a 1-morphism, a homotopy of paths a 2-morphism, and every higher homotopy a higher morphism; all of these morphisms are invertible at their appropriate level. Grothendieck made this organizing claim central in Pursuing Stacks.
The slogan “infinity-groupoids are spaces” is not one model-free theorem. A precise result fixes a model of spaces, a definition of weak infinity-groupoid, the relevant weak equivalences, and comparison functors—typically a fundamental infinity-groupoid in one direction and realization in the other—then proves an equivalence of homotopy theories.
Scope of Application¶
The hypothesis guides algebraic topology, higher category theory, higher topos theory, derived geometry, and homotopy type theory. Kan complexes provide a standard model in which the space–infinity-groupoid correspondence is built into the established homotopy theory of simplicial sets. Other algebraic or globular models require comparison results of their own. Ara studies the homotopy theory of Grothendieck infinity-groupoids and isolates what is known for that formulation.
Clarity¶
Every use should state the groupoid model, the space model, the weak equivalences, and whether the claim is an equivalence of categories, homotopy categories, model categories, or infinity-categories. “Proved” is meaningful only after those choices. The n-truncated and untruncated versions should also be separated.
Manages Complexity¶
The hypothesis turns an unbounded tower of geometric deformations into one algebraic-categorical object. Instead of managing points, paths, path homotopies, and all coherences as separate structures, the infinity-groupoid packages them into dimension-indexed composition and invertibility data while preserving the homotopy type.
Abstract Reasoning¶
- Choose a category of spaces with weak homotopy equivalences.
- Choose a weak infinity-groupoid model.
- Define its weak equivalences using homotopy groups or an equivalent criterion.
- Construct the fundamental infinity-groupoid functor.
- Construct geometric realization or a classifying-space functor.
- Compare each space with the realization of its fundamental infinity-groupoid.
- Compare each infinity-groupoid with the fundamental object of its realization.
- Prove those comparisons are weak equivalences and derive equivalence after localization.
Knowledge Transfer¶
The portable pattern is replace a geometric object by a structured representation whose cells record every level of equivalence, then prove the representation loses no information under the declared notion of sameness. The proposed immediate parent is Representation.
Relationships to Other Abstractions¶
Current abstraction Homotopy Hypothesis Domain-specific
Parents (1) — more general patterns this builds on
-
Homotopy Hypothesis is a kind of Representation Prime
Representation is the proposed immediate parent.
Hierarchy path (1) — routes to 1 parentless root
- Homotopy Hypothesis → Representation → Abstraction
Neighborhood in Abstraction Space¶
Homotopy Hypothesis sits in a sparse region of the domain-specific corpus (79th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- Homotopy Category — 0.85
- Joyal Model Structure — 0.84
- Category of compactly generated weak Hausdorff spaces — 0.82
- Whitehead Theorem — 0.82
- Stack (Mathematics) — 0.82
Computed from structural-signature embeddings · 2026-09-08