Lemma 84.19.1. Let $\mathcal{C}$ be a site with fibre products and $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. Let $K$ be a hypercovering of $X$. Then

1. $a^{-1} : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/X) \to \mathop{\mathit{Sh}}\nolimits ((\mathcal{C}/K)_{total})$ is fully faithful with essential image the cartesian sheaves of sets,

2. $a^{-1} : \textit{Ab}(\mathcal{C}/X) \to \textit{Ab}((\mathcal{C}/K)_{total})$ is fully faithful with essential image the cartesian sheaves of abelian groups.

In both cases $a_*$ provides the quasi-inverse functor.

Proof. Via Remarks 84.15.5 and 84.16.4 and the discussion in the introduction to this section this follows from Lemma 84.17.1. $\square$

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).