{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "5ZA2T4C3N2"
    },
    {
      "field": "uses",
      "target": "A2YTPG6CQF"
    },
    {
      "field": "uses",
      "target": "EAX2SYK8C5"
    },
    {
      "field": "uses",
      "target": "VDQAZDHFF7"
    },
    {
      "field": "uses",
      "target": "XKFKTHW8GS"
    }
  ],
  "body": "\n## Summary\n\nIn a [[model category|SDTZVZ6B4Q]], the fibrations and the cofibrations are two of the three distinguished classes of morphisms, besides the weak equivalences.\nThey abstract the [[Serre fibrations|PB9JXQ2KC3]] and the [[cofibrations|W5WS5EY8ZM]] of topology: maps along which homotopies lift, and inclusions along which homotopies extend.\nEach class is determined by the other together with the weak equivalences, through lifting properties.\nFibrant and cofibrant objects are the good objects on which homotopy classes of maps compute the homotopy category.\n\n## Explanations\n\n### L1 human\n\nA fibration is a map along which paths and deformations can be lifted, like the projection of a product $X \\times F \\to X$.\nA cofibration is a map that behaves like the inclusion of a nice subspace, such as a circle as the boundary of a disc.\nA model category specifies which maps play these two roles.\nEvery map can be split into a cofibration followed by a fibration, one of them being a weak equivalence.\nThis lets one replace objects by better ones without changing their homotopy type.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18N40",
      "55U35"
    ],
    "name": "Fibration and cofibration",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Model_category"
      }
    ],
    "tag": "HSV1J7BJXX"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/HSV1J7BJXX/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/HSV1J7BJXX.md",
  "msc": [
    "18N40",
    "55U35"
  ],
  "name": "Fibration and cofibration",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/HSV/HSV1J7BJXX.md",
  "status": null,
  "tag": "HSV1J7BJXX",
  "uri": "m2://HSV1J7BJXX",
  "url": "https://tamnd.github.io/math2/wiki/fibration-and-cofibration/",
  "writing": {
    "tag": "HSV1J7BJXX",
    "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
      }
    ]
  }
}