Lemma 84.22.1. Let $\mathcal{C}$ be a site with fibre products and $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. Let $\mathcal{O}_\mathcal {C}$ be a sheaf of rings. Let $U$ be a hypercovering of $X$ in $\mathcal{C}$. With notation as above

is fully faithful with essential image the cartesian $\mathcal{O}$-modules. The functor $a_*$ provides the quasi-inverse.

## Comments (0)