{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $n$ be a natural number or $n = \\infty$.\nA *homotopy $n$-type* is a space $X$ whose [[homotopy groups|P976WYEFMB]] $\\pi_k(X, x)$ vanish for all $k \u003e n$ and all base points $x$.\nFor $n = \\infty$ this is no condition.\nAny good definition of weak $n$-[[groupoids|FH3C0T643F]] should satisfy the following.\nLet $\\Pi_n(X)$ be the fundamental $n$-groupoid of a space $X$.\nThen $X \\mapsto \\Pi_n(X)$ induces an equivalence between the homotopy theory of homotopy $n$-types and that of weak $n$-groupoids.\nFor $n = \\infty$ it says that weak $\\infty$-groupoids and spaces up to weak homotopy equivalence are the same homotopy theory.\n\n## Remarks\n\nThe hypothesis is a test that a definition of higher groupoid must pass, so its status depends on the chosen definition.\nFor $n = 0$ it says that sets correspond to spaces whose path components are weakly contractible, through $X \\mapsto \\pi_0(X)$.\nFor $n = 1$ it is classical: the [[fundamental groupoid|ZBHGXJF24E]] and the classifying space give an equivalence between groupoids up to equivalence and homotopy $1$-types.\nIf weak $\\infty$-groupoids are modelled by [[Kan complexes|FDFYCM3YYC]], the hypothesis holds.\nQuillen showed that [[geometric realization|TG6WHHR7CF]] and the [[singular simplicial set|RWBMXQW6S5]] functor form a [[Quillen equivalence|KZCXHTEYK7]].\nIt relates simplicial sets with the Kan–Quillen model structure and topological spaces with the Quillen model structure.\nFor other definitions of weak $\\infty$-groupoids, in particular algebraic ones, the question is a subject of research.\nGrothendieck stated the idea in his manuscript *Pursuing Stacks* (1983).\n\n## Explanations\n\n### L1 human\n\nA space has points, paths between points, homotopies between paths, homotopies between homotopies, and so on.\nPoints and paths behave like objects and invertible arrows, and the higher homotopies like invertible arrows between arrows.\nThe homotopy hypothesis says that this structure loses nothing: the shape of a space, up to homotopy, is the same thing as an infinite groupoid.\nFor example, a circle is captured by one object with one invertible loop that generates a copy of $\\Z$, and nothing above that.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "FH3C0T643F",
      "3A1NMGJKJ3"
    ],
    "history": {
      "first_stated": "1983",
      "posed_by": "Alexander Grothendieck"
    },
    "kind": "conjecture",
    "msc": [
      "18N65",
      "55U35",
      "18N20"
    ],
    "name": "Homotopy hypothesis",
    "same_as": {
      "wikidata": "Q16879377",
      "wikipedia": "Homotopy hypothesis"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Homotopy_hypothesis"
      }
    ],
    "tag": "2E83D9ACDY",
    "uses": [
      "FH3C0T643F",
      "ZBHGXJF24E",
      "P976WYEFMB",
      "5W95QFHXPR",
      "FDFYCM3YYC",
      "TG6WHHR7CF",
      "RWBMXQW6S5",
      "KZCXHTEYK7",
      "3A1NMGJKJ3"
    ]
  },
  "kind": "conjecture",
  "link": "https://tamnd.github.io/math2/node/2E83D9ACDY/",
  "links": [
    {
      "field": "about",
      "target": "FH3C0T643F"
    },
    {
      "field": "about",
      "target": "3A1NMGJKJ3"
    },
    {
      "field": "uses",
      "target": "FH3C0T643F"
    },
    {
      "field": "uses",
      "target": "ZBHGXJF24E"
    },
    {
      "field": "uses",
      "target": "P976WYEFMB"
    },
    {
      "field": "uses",
      "target": "5W95QFHXPR"
    },
    {
      "field": "uses",
      "target": "FDFYCM3YYC"
    },
    {
      "field": "uses",
      "target": "TG6WHHR7CF"
    },
    {
      "field": "uses",
      "target": "RWBMXQW6S5"
    },
    {
      "field": "uses",
      "target": "KZCXHTEYK7"
    },
    {
      "field": "uses",
      "target": "3A1NMGJKJ3"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/2E83D9ACDY.md",
  "msc": [
    "18N65",
    "55U35",
    "18N20"
  ],
  "name": "Homotopy hypothesis",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/2E8/2E83D9ACDY.md",
  "status": null,
  "tag": "2E83D9ACDY",
  "uri": "m2://2E83D9ACDY",
  "url": "https://tamnd.github.io/math2/wiki/homotopy-hypothesis/",
  "writing": {
    "tag": "2E83D9ACDY",
    "kind": "conjecture",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}