---
tag: 57BXX32WF0
kind: statement
role: theorem
name: Giraud's theorem
msc: [18F10, 18B25]
uses: [S3YVE24AQK, PYSBNWCHCF, 4FJ0S71P58, Q05K04QJ71, RVXDSY04KG, DVSTWGVCSZ, E70DQGM8X5, CK08JW32WB]
about: [S3YVE24AQK]
sources:
  - url: https://en.wikipedia.org/wiki/Topos
---

## Statement

Let $\mathcal{E}$ be a locally small category.
Then $\mathcal{E}$ is a [[Grothendieck topos|S3YVE24AQK]] if and only if it has the following properties:

1. $\mathcal{E}$ has all finite limits.
2. $\mathcal{E}$ has all small [[coproducts|4FJ0S71P58]], and they are disjoint and stable under [[pullback|Q05K04QJ71]].
3. Every [[epimorphism|RVXDSY04KG]] in $\mathcal{E}$ is a [[coequalizer|DVSTWGVCSZ]].
4. 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$.
5. Every coequalizer in $\mathcal{E}$ is stable under pullback.
6. $\mathcal{E}$ has a small set of [[generators|CK08JW32WB]].

## Remarks

Coproducts are disjoint when the pullback of two different coproduct inclusions is an initial object.
A construction is stable under pullback when pulling it back along any morphism gives a construction of the same kind.
One direction is a check in the category of sheaves, where limits are computed objectwise and colimits are sheafifications of objectwise colimits.
For the converse, take a small full subcategory $\mathcal{C}$ of generators.
Give it the topology $J$ whose covering sieves are the families that are jointly epimorphic in $\mathcal{E}$.
Then one shows that $E \mapsto \Hom(-, E)|_{\mathcal{C}}$ is an equivalence of $\mathcal{E}$ with $\mathrm{Sh}(\mathcal{C}, J)$.
Example: $\mathbf{Set}$ has all six properties, with the one-point set as generator.
Example: the category of finite sets satisfies conditions 1, 3, 4, 5 and 6.
It fails condition 2, since it has no infinite coproducts, and it is not a Grothendieck topos.

## Explanations

### L1 human

Giraud's theorem tells when a category is "sheaves on some site" without naming a site.
The 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.
It makes the notion of Grothendieck topos intrinsic.

### L2 human

The 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.
It 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.
Compared with the elementary definition of a [[topos|6837RS7N82]], the extra conditions are the small coproducts and the small set of generators.