Definition 21.13.4. Let $\mathcal{C}$ be a site. We say an abelian sheaf $\mathcal{F}$ is totally acyclic1 if for every sheaf of sets $K$ we have $H^ p(K, \mathcal{F}) = 0$ for all $p \geq 1$.

[1] Although this terminology is is used in [Vbis, Proposition 1.3.10, SGA4] this is probably nonstandard notation. In [V, Definition 4.1, SGA4] this property is dubbed “flasque”, but we cannot use this because it would clash with our definition of flasque sheaves on topological spaces. Please email stacks.project@gmail.com if you have a better suggestion.

Comment #5065 by Remy on

In SGA IV$_2$, Exp. V$^{\text{bis}}$, Prop. 1.3.10, this is called totally acyclic.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).