Lemma 18.11.4. Let $\mathcal{C}$ be a site. Let $\mathcal{O} \to \mathcal{O}'$ be an epimorphism of sheaves of rings. Let $\mathcal{G}_1, \mathcal{G}_2$ be $\mathcal{O}'$-modules. Then

In other words, the restriction functor $\textit{Mod}(\mathcal{O}') \to \textit{Mod}(\mathcal{O})$ is fully faithful.

## Comments (0)