{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "9KE5E84M3M"
    },
    {
      "field": "about",
      "target": "AHW4B5480K"
    },
    {
      "field": "about",
      "target": "E0RV5D1GQ0"
    },
    {
      "field": "about",
      "target": "WWX8HCN260"
    },
    {
      "field": "uses",
      "target": "AHW4B5480K"
    },
    {
      "field": "uses",
      "target": "E0RV5D1GQ0"
    },
    {
      "field": "uses",
      "target": "NNCBVR7Z2X"
    },
    {
      "field": "uses",
      "target": "WWX8HCN260"
    },
    {
      "field": "instance_of",
      "target": "M5AKNYC4QQ"
    }
  ],
  "body": "\n## Summary\n\nA Serre fibration is a continuous map $p \\colon E \\to B$ that has the [[homotopy lifting property|G4QDM01P6J]] with respect to all cubes $I^n$.\nIt is the weak form of a fibration used most often in homotopy theory.\nEvery [[Hurewicz fibration|Y773B7EQA7]] and every [[fiber bundle|CX4M8K61AB]] is a Serre fibration.\nFor a Serre fibration the homotopy groups of the fiber, the total space and the base fit into the [[long exact sequence of homotopy groups|E0RV5D1GQ0]].\n\n## Explanations\n\n### L1 human\n\nThink of $E$ as lying above $B$, with $p$ pressing each point of $E$ down to $B$.\nIn a Serre fibration, every deformation in $B$ of a cube-shaped family of points can be followed by a deformation in $E$.\nOne only needs to choose the starting position in $E$.\nThe projection of the product $B \\times F$ onto $B$ is the simplest example: one keeps the $F$ coordinate fixed and moves the $B$ coordinate.\nCovering maps, such as $\\R \\to S^1$, $t \\mapsto e^{2\\pi i t}$, are also Serre fibrations.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "kind": "concept",
    "msc": [
      "55R05"
    ],
    "name": "Serre fibration",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Fibration"
      }
    ],
    "tag": "PB9JXQ2KC3"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/PB9JXQ2KC3/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/PB9JXQ2KC3.md",
  "msc": [
    "55R05"
  ],
  "name": "Serre fibration",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/PB9/PB9JXQ2KC3.md",
  "status": null,
  "tag": "PB9JXQ2KC3",
  "uri": "m2://PB9JXQ2KC3",
  "url": "https://math2.tamnd.com/wiki/serre-fibration/",
  "writing": {
    "tag": "PB9JXQ2KC3",
    "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
      }
    ]
  }
}