{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $\\mathcal{M}$ be a [[model category|SDTZVZ6B4Q]] with [[weak equivalences|E2870TEDG7]] $W$.\nA *fibration* is a morphism in the class $\\mathrm{Fib}$ of the model structure, and a *cofibration* is a morphism in the class $\\mathrm{Cof}$.\nA *trivial* (or *acyclic*) fibration is a fibration that is also in $W$, and a trivial cofibration is a cofibration that is also in $W$.\nAn object $X$ is *fibrant* if the morphism $X \\to \\ast$ to the terminal object is a fibration.\nIt is *cofibrant* if the morphism $\\emptyset \\to X$ from the initial object is a cofibration.\n\n## Remarks\n\nThe axioms of a model category imply characterizations by the [[lifting property|AZK4RD8XV0]].\nA morphism is a cofibration if and only if it has the left lifting property with respect to all trivial fibrations.\nA morphism is a fibration if and only if it has the right lifting property with respect to all trivial cofibrations.\nDually, the trivial cofibrations are the maps with the left lifting property with respect to fibrations.\nThe trivial fibrations are the maps with the right lifting property with respect to cofibrations.\nSo, given $W$, the fibrations determine the cofibrations and conversely.\n\nExample: in the Quillen model structure on topological spaces, the fibrations are the [[Serre fibrations|PB9JXQ2KC3]], and every space is fibrant.\nIn the Strøm model structure on topological spaces, the fibrations are the [[Hurewicz fibrations|Y773B7EQA7]] and the cofibrations are the closed [[cofibrations|W5WS5EY8ZM]] in the sense of the homotopy extension property.\nIn the projective model structure on non-negatively graded chain complexes of modules over a ring, the fibrations are the maps that are surjective in each positive degree.\n\nNon-example: in the Quillen model structure, the inclusion $p \\colon \\set{0} \\to [0, 1]$ is not a fibration.\nThe path $t \\mapsto t$ in $[0, 1]$ starts at the image $0$ of $p$, but it has no lift to $\\set{0}$, because it leaves the image of $p$.\nSo $p$ fails the right lifting property against the trivial cofibration $\\set{0} \\to [0, 1]$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "HSV1J7BJXX",
    "kind": "definition",
    "msc": [
      "18N40",
      "55U35"
    ],
    "name": "Fibration and cofibration",
    "sources": [
      {
        "locator": "Definition",
        "url": "https://en.wikipedia.org/wiki/Model_category"
      }
    ],
    "tag": "5ZA2T4C3N2",
    "uses": [
      "SDTZVZ6B4Q",
      "E2870TEDG7",
      "AZK4RD8XV0",
      "PB9JXQ2KC3",
      "Y773B7EQA7",
      "W5WS5EY8ZM"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/5ZA2T4C3N2/",
  "links": [
    {
      "field": "defines",
      "target": "HSV1J7BJXX"
    },
    {
      "field": "uses",
      "target": "SDTZVZ6B4Q"
    },
    {
      "field": "uses",
      "target": "E2870TEDG7"
    },
    {
      "field": "uses",
      "target": "AZK4RD8XV0"
    },
    {
      "field": "uses",
      "target": "PB9JXQ2KC3"
    },
    {
      "field": "uses",
      "target": "Y773B7EQA7"
    },
    {
      "field": "uses",
      "target": "W5WS5EY8ZM"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/5ZA2T4C3N2.md",
  "msc": [
    "18N40",
    "55U35"
  ],
  "name": "Fibration and cofibration",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/5ZA/5ZA2T4C3N2.md",
  "status": null,
  "tag": "5ZA2T4C3N2",
  "uri": "m2://5ZA2T4C3N2",
  "url": "https://tamnd.github.io/math2/wiki/fibration-and-cofibration-definition/",
  "writing": {
    "tag": "5ZA2T4C3N2",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}