{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "4AG8ZWK2BB"
    },
    {
      "field": "uses",
      "target": "5AXZG4PXTE"
    },
    {
      "field": "uses",
      "target": "5JVKKP0X1Y"
    },
    {
      "field": "uses",
      "target": "7Y69FN6M7Y"
    },
    {
      "field": "uses",
      "target": "9SDYXHB8P6"
    },
    {
      "field": "uses",
      "target": "9X3B0EX04F"
    },
    {
      "field": "uses",
      "target": "C7E5EMV89Z"
    },
    {
      "field": "uses",
      "target": "CB4Y87RC4V"
    },
    {
      "field": "uses",
      "target": "CQKTEBK13V"
    },
    {
      "field": "uses",
      "target": "CTBYV71CEJ"
    },
    {
      "field": "uses",
      "target": "F1CGWAW74E"
    },
    {
      "field": "uses",
      "target": "HQHP2J7F3M"
    },
    {
      "field": "uses",
      "target": "JX3ZH5WY0T"
    },
    {
      "field": "uses",
      "target": "JYW9312EE6"
    },
    {
      "field": "uses",
      "target": "K91VB1DXPR"
    },
    {
      "field": "uses",
      "target": "R8GZAJ85YF"
    },
    {
      "field": "uses",
      "target": "TQNG7T2RQ6"
    },
    {
      "field": "uses",
      "target": "TX1W8PRASW"
    },
    {
      "field": "uses",
      "target": "XBZ2RX25E6"
    },
    {
      "field": "defines",
      "target": "7QM2KNZ358"
    }
  ],
  "body": "\n## Summary\n\nA sheaf on a topological space assigns to each open set a set of data, such as functions, with restriction maps to smaller open sets.\nThe data must be determined by their local pieces, and compatible local pieces must glue together.\nSheaves organise local information on a space and measure how it fails to be global.\nThey are the language of modern algebraic geometry, where a scheme is a space with a sheaf of rings.\nThey are also the coefficients of sheaf cohomology in topology and complex analysis.\n\n## Explanations\n\n### L1 human\n\nThink of the continuous functions on the open sets of a space.\nA function on a big open set can be restricted to a smaller one.\nSuppose you know a function on each set of an open cover, and the pieces agree on the overlaps.\nThen there is exactly one function on the union that has these pieces.\nA sheaf is any rule of this kind: data on open sets, restriction, and the two local conditions of uniqueness and gluing.\nBounded functions are not a sheaf on $\\R$: the function $f(x) = x$ is bounded on each bounded interval, but these pieces glue to a function that is not bounded.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "54B40",
      "18F20",
      "14F06"
    ],
    "name": "Sheaf",
    "same_as": {
      "wikidata": "Q595298",
      "wikipedia": "Sheaf (mathematics)"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Sheaf_(mathematics)"
      }
    ],
    "tag": "TB6TM6R4MD"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/TB6TM6R4MD/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/TB6TM6R4MD.md",
  "msc": [
    "54B40",
    "18F20",
    "14F06"
  ],
  "name": "Sheaf",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/TB6/TB6TM6R4MD.md",
  "status": null,
  "tag": "TB6TM6R4MD",
  "uri": "m2://TB6TM6R4MD",
  "url": "https://tamnd.github.io/math2/wiki/sheaf/",
  "writing": {
    "tag": "TB6TM6R4MD",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}