Lemma 85.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
\[ a^* : \textit{Mod}(\mathcal{O}_ X) \to \textit{Mod}(\mathcal{O}) \]
is fully faithful with essential image the cartesian $\mathcal{O}$-modules. The functor $a_*$ provides the quasi-inverse.
Comments (0)