Lemma 18.11.2. Let \mathcal{C} be a site. Let \mathcal{O} be a presheaf of rings on \mathcal{C} The sheafification functor
\textit{PMod}(\mathcal{O}) \longrightarrow \textit{Mod}(\mathcal{O}^\# ), \quad \mathcal{F} \longmapsto \mathcal{F}^\#
is exact.
Comments (0)