{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "EXHJHA1TBK"
    }
  ],
  "body": "\n## Summary\n\nA Quillen equivalence is a Quillen adjunction between two model categories that induces an equivalence of their homotopy categories.\nIt is the right notion of \"same homotopy theory\" for model categories.\nThe basic example is the adjunction between simplicial sets and topological spaces given by geometric realization and the singular complex.\nIt shows that both categories model the same homotopy theory of spaces.\n\n## Explanations\n\n### L1 human\n\nA model category is a setting where some maps are declared to be weak equivalences, as in homotopy theory.\nTwo different settings can describe the same homotopy theory: for example, spaces built from simplices and general topological spaces.\nA Quillen equivalence is a pair of functors back and forth that preserves the model structures and becomes an equivalence once weak equivalences are inverted.\nThrough it, one can switch to whichever setting is most convenient for a problem, without losing homotopical information.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "kind": "concept",
    "msc": [
      "18N40",
      "55U35"
    ],
    "name": "Quillen equivalence",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Quillen_adjunction"
      }
    ],
    "tag": "KZCXHTEYK7"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/KZCXHTEYK7/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/KZCXHTEYK7.md",
  "msc": [
    "18N40",
    "55U35"
  ],
  "name": "Quillen equivalence",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KZC/KZCXHTEYK7.md",
  "status": null,
  "tag": "KZCXHTEYK7",
  "uri": "m2://KZCXHTEYK7",
  "url": "https://math2.tamnd.com/wiki/quillen-equivalence/",
  "writing": {
    "tag": "KZCXHTEYK7",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}