# Needless axiom for Grothendieck topologies?

Hi,

The first axiom for a Grothendieck (pre)topology on a category $C$ says that for every object $X\in C$, the family consisting of just the identity $1_X : X\to X$ should be a covering family.

Why is this axiom needed? Obviously a functor $F : C^{opp}\to Sets$ will satisfy the sheaf condition with respect to this family, so nothing seems to be gained by adding this covering family...

Am I missing something?

Thanks!

-
You can make do with much less than a Grothendieck pretopology: all you need to have a good notion of sheaf (i.e. one that generates a topos) is a coverage. See here: ncatlab.org/nlab/show/coverage – Zhen Lin Apr 19 '13 at 14:49
I'll just add that Grothendieck probably thought of this as analogous to saying a topology on a set $S$ always has $S$ itself as an open subset. – Colin McLarty Apr 21 '13 at 0:22

## 1 Answer

The only important axiom in order to define a notion of sheaf is the stability under pullback. There is a proposition in SGA4 saying that if you have a family of sieves only satisfying the pullback stability condition then a presheaf is a sheaf with respect to this family if and only if it is a sheaf with respect to the topology it generates. Hence to some extend the identity axiom is useless, as well is the locality axiom.

The reason why this two other axioms are important is that when you have all three axioms then you can prove that if two topologies defines the same notion of sheaf then they are equal: adding new covering will reduces the number of sheaf, and this is the case only if the three axioms are satisfied.

-