{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $\\mathcal{E}$ be a locally small category.\nThen $\\mathcal{E}$ is a [[Grothendieck topos|S3YVE24AQK]] if and only if it has the following properties:\n\n1. $\\mathcal{E}$ has all finite limits.\n2. $\\mathcal{E}$ has all small [[coproducts|4FJ0S71P58]], and they are disjoint and stable under [[pullback|Q05K04QJ71]].\n3. Every [[epimorphism|RVXDSY04KG]] in $\\mathcal{E}$ is a [[coequalizer|DVSTWGVCSZ]].\n4. Every equivalence relation $R \\rightrightarrows E$ in $\\mathcal{E}$ has a coequalizer $E \\to Q$ and is the [[kernel pair|E70DQGM8X5]] of $E \\to Q$.\n5. Every coequalizer in $\\mathcal{E}$ is stable under pullback.\n6. $\\mathcal{E}$ has a small set of [[generators|CK08JW32WB]].\n\n## Remarks\n\nCoproducts are disjoint when the pullback of two different coproduct inclusions is an initial object.\nA construction is stable under pullback when pulling it back along any morphism gives a construction of the same kind.\nOne direction is a check in the category of sheaves, where limits are computed objectwise and colimits are sheafifications of objectwise colimits.\nFor the converse, take a small full subcategory $\\mathcal{C}$ of generators.\nGive it the topology $J$ whose covering sieves are the families that are jointly epimorphic in $\\mathcal{E}$.\nThen one shows that $E \\mapsto \\Hom(-, E)|_{\\mathcal{C}}$ is an equivalence of $\\mathcal{E}$ with $\\mathrm{Sh}(\\mathcal{C}, J)$.\nExample: $\\mathbf{Set}$ has all six properties, with the one-point set as generator.\nExample: the category of finite sets satisfies conditions 1, 3, 4, 5 and 6.\nIt fails condition 2, since it has no infinite coproducts, and it is not a Grothendieck topos.\n\n## Explanations\n\n### L1 human\n\nGiraud's theorem tells when a category is \"sheaves on some site\" without naming a site.\nThe conditions say that the category has limits and well-behaved colimits, like the category of sets, and that a small set of objects is enough to probe all objects.\nIt makes the notion of Grothendieck topos intrinsic.\n\n### L2 human\n\nThe theorem is used to show that categories built in other ways are toposes, for example categories of sheaves glued from local pieces or categories of equivariant sheaves.\nIt also shows that a Grothendieck topos determines a site only up to choice: any small generating full subcategory with its canonical topology is a site for it.\nCompared with the elementary definition of a [[topos|6837RS7N82]], the extra conditions are the small coproducts and the small set of generators.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "S3YVE24AQK"
    ],
    "kind": "statement",
    "msc": [
      "18F10",
      "18B25"
    ],
    "name": "Giraud's theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Topos"
      }
    ],
    "tag": "57BXX32WF0",
    "uses": [
      "S3YVE24AQK",
      "PYSBNWCHCF",
      "4FJ0S71P58",
      "Q05K04QJ71",
      "RVXDSY04KG",
      "DVSTWGVCSZ",
      "E70DQGM8X5",
      "CK08JW32WB"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/57BXX32WF0/",
  "links": [
    {
      "field": "about",
      "target": "S3YVE24AQK"
    },
    {
      "field": "uses",
      "target": "S3YVE24AQK"
    },
    {
      "field": "uses",
      "target": "PYSBNWCHCF"
    },
    {
      "field": "uses",
      "target": "4FJ0S71P58"
    },
    {
      "field": "uses",
      "target": "Q05K04QJ71"
    },
    {
      "field": "uses",
      "target": "RVXDSY04KG"
    },
    {
      "field": "uses",
      "target": "DVSTWGVCSZ"
    },
    {
      "field": "uses",
      "target": "E70DQGM8X5"
    },
    {
      "field": "uses",
      "target": "CK08JW32WB"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/57BXX32WF0.md",
  "msc": [
    "18F10",
    "18B25"
  ],
  "name": "Giraud's theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/57B/57BXX32WF0.md",
  "status": null,
  "tag": "57BXX32WF0",
  "uri": "m2://57BXX32WF0",
  "url": "https://tamnd.github.io/math2/wiki/girauds-theorem/",
  "writing": {
    "tag": "57BXX32WF0",
    "kind": "statement",
    "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
      }
    ]
  }
}