{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $\\mathcal{M}$ be a [[model category|SDTZVZ6B4Q]] with class of [[weak equivalences|E2870TEDG7]] $W$.\nThe *homotopy category* of $\\mathcal{M}$ is the [[localization|DNFR3YP0XF]]\n$$\\gamma \\colon \\mathcal{M} \\to \\mathrm{Ho}(\\mathcal{M}) = \\mathcal{M}[W^{-1}].$$\n\n## Remarks\n\nQuillen's fundamental theorem says that this localization exists with small hom-sets.\nIf $X$ is cofibrant and $Y$ is fibrant (see [[fibration and cofibration|HSV1J7BJXX]]), then $\\mathrm{Ho}(\\mathcal{M})(\\gamma X, \\gamma Y)$ is the set of homotopy classes of morphisms $X \\to Y$.\nEvery object is isomorphic in $\\mathrm{Ho}(\\mathcal{M})$ to one that is both fibrant and cofibrant, by the factorization axiom.\n\nExample: for topological spaces with the Quillen model structure, $W$ consists of the [[weak homotopy equivalences|4Q3WY1RX91]].\nEvery space is fibrant, and the [[CW complexes|5W95QFHXPR]] are cofibrant.\nSo $\\mathrm{Ho}(\\mathrm{Top})$ is equivalent to the category of CW complexes with [[homotopy|9YA6S6HD9V]] classes of continuous maps as morphisms.\nNon-example: the naive homotopy category, with all spaces as objects and homotopy classes of maps as morphisms, is a different category.\nIn it, the map from the Warsaw circle to a point is not invertible, although it is a weak homotopy equivalence.\n\nThe name is also used for the homotopy category of chain complexes, whose morphisms are chain homotopy classes of chain maps.\nThat category is related to, but different from, the derived category.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "48QQ7T98Z9",
    "kind": "definition",
    "msc": [
      "18N40",
      "55U35",
      "55P10"
    ],
    "name": "Homotopy category",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Homotopy_category"
      }
    ],
    "tag": "EAX2SYK8C5",
    "uses": [
      "SDTZVZ6B4Q",
      "E2870TEDG7",
      "DNFR3YP0XF",
      "HSV1J7BJXX",
      "9YA6S6HD9V",
      "4Q3WY1RX91",
      "5W95QFHXPR"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/EAX2SYK8C5/",
  "links": [
    {
      "field": "defines",
      "target": "48QQ7T98Z9"
    },
    {
      "field": "uses",
      "target": "SDTZVZ6B4Q"
    },
    {
      "field": "uses",
      "target": "E2870TEDG7"
    },
    {
      "field": "uses",
      "target": "DNFR3YP0XF"
    },
    {
      "field": "uses",
      "target": "HSV1J7BJXX"
    },
    {
      "field": "uses",
      "target": "9YA6S6HD9V"
    },
    {
      "field": "uses",
      "target": "4Q3WY1RX91"
    },
    {
      "field": "uses",
      "target": "5W95QFHXPR"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/EAX2SYK8C5.md",
  "msc": [
    "18N40",
    "55U35",
    "55P10"
  ],
  "name": "Homotopy category",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/EAX/EAX2SYK8C5.md",
  "status": null,
  "tag": "EAX2SYK8C5",
  "uri": "m2://EAX2SYK8C5",
  "url": "https://tamnd.github.io/math2/wiki/homotopy-category-definition/",
  "writing": {
    "tag": "EAX2SYK8C5",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}