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.

Version

v3 · 2026-09-19 · History

Domain-specific #

2019

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Higher Category Theory → Mathematics

Aliases

Grothendieck homotopy hypothesis, Infinity-groupoid hypothesis, Homotopy hypothesis for infinity-groupoids

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.

How would you explain it like I'm…

 

No faithful explanation at this level. A kid picture reduces it to 'a shape is just dots and lines.' That loses the infinite tower of invertible higher morphisms and the fact that a precise version depends on the chosen models.

Paths All the Way Up

Picture a space as made of points, paths that walk between points, ways of sliding one path into another, ways of sliding those slides, and so on forever. Every one of these steps can be undone, like walking a path backwards. The Homotopy Hypothesis is the big idea that if you only care about a space up to stretching and bending, this endless list of points, paths, and slides holds all the same information as the space itself. It's a guiding idea, and mathematicians prove precise versions of it depending on exactly how they define things.

Spaces Are Infinity-Groupoids

The homotopy hypothesis says that spaces considered only up to homotopy, meaning up to continuous deformation, contain the same mathematics as weak infinity-groupoids. In this dictionary, points become objects, paths become 1-morphisms, homotopies between paths become 2-morphisms, and higher homotopies become higher morphisms. Each of these is invertible in the appropriate weak sense. Grothendieck made this organizing claim central in his work Pursuing Stacks. The slogan "infinity-groupoids are spaces" is not one single theorem. A precise version requires choosing a model of spaces and a definition of weak infinity-groupoid, and then proving that the two match.

 

The homotopy hypothesis asserts that the homotopy theory of spaces and the homotopy theory of weak infinity-groupoids are equivalent. The dictionary sends points to objects, paths to 1-morphisms, homotopies of paths to 2-morphisms, and so on, with every morphism invertible up to higher morphisms. Grothendieck placed this claim at the center of Pursuing Stacks. Because "weak infinity-groupoid" has several competing definitions, the hypothesis is a program rather than a single model-free theorem. A precise version fixes a model of spaces, a definition of weak infinity-groupoid, and the relevant weak equivalences. It then constructs comparison functors, typically a fundamental infinity-groupoid functor in one direction and geometric realization in the other, and proves that they induce 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

1. Choose a category of spaces with weak homotopy equivalences.
2. Choose a weak infinity-groupoid model.
3. Define its weak equivalences using homotopy groups or an equivalent criterion.
4. Construct the fundamental infinity-groupoid functor.
5. Construct geometric realization or a classifying-space functor.
6. Compare each space with the realization of its fundamental infinity-groupoid.
7. Compare each infinity-groupoid with the fundamental object of its realization.
8. 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) — outgoing typed relations

• Homotopy Hypothesis is a kind of Representation Prime

  Representation is the broader abstraction this entry instantiates.

Hierarchy path (1) — routes to 1 parentless root

• Homotopy Hypothesis → is a kind of Representation → presupposes Abstraction

Neighborhood in Abstraction Space

Homotopy Hypothesis sits in a sparse region of the domain-specific corpus (78^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 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-10-25