states that the properties below are all equivalent.)
* There is a small category and an inclusion that admits a finite-limit-preserving left adjoint.
* is the category of sheaves on a Grothendieck site.
* satisfies Giraud's axioms, below.

Here denotes the category of contravariant functors from to