Lemma 7.10.14. The functor $\textit{PSh}(\mathcal{C}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$, $\mathcal{F} \mapsto \mathcal{F}^\#$ is exact.

Proof. Since it is a left adjoint it is right exact, see Categories, Lemma 4.24.6. On the other hand, by Lemmas 7.10.5 and Lemma 7.10.6 the colimits in the construction of $\mathcal{F}^+$ are really over the directed set $\mathop{\mathrm{Ob}}\nolimits (\mathcal{J}_ U)$ where $\mathcal{U} \geq \mathcal{U}'$ if and only if $\mathcal{U}$ is a refinement of $\mathcal{U}'$. Hence by Categories, Lemma 4.19.2 we see that $\mathcal{F} \to \mathcal{F}^+$ commutes with finite limits (as a functor from presheaves to presheaves). Then we conclude using Lemma 7.10.1. $\square$

There are also:

• 8 comment(s) on Section 7.10: Sheafification

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