The Stacks project

Proof. We claim that Homology, Lemma 12.7.4 applies to the categories $\mathcal{A} = \textit{Ab}(\mathcal{C})$ and $\mathcal{B} = \textit{PAb}(\mathcal{C})$, and the functors $a : \mathcal{A} \to \mathcal{B}$ (inclusion), and $b : \mathcal{B} \to \mathcal{A}$ (sheafification). Let us check the assumptions of Homology, Lemma 12.7.4. Assumption (1) is that $\mathcal{A}$, $\mathcal{B}$ are additive categories, $a$, $b$ are additive functors, and $a$ is right adjoint to $b$. The first two statements are clear and adjointness is Sites, Section 7.44 ($\epsilon $). Assumption (2) says that $\textit{PAb}(\mathcal{C})$ is abelian which we saw in Section 18.2 and that sheafification is left exact, which is Sites, Section 7.44 ($\zeta $). The final assumption is that $ba \cong \text{id}_\mathcal {A}$ which is Sites, Section 7.44 ($\delta $). Hence Homology, Lemma 12.7.4 applies and we conclude that $\textit{Ab}(\mathcal{C})$ is abelian.

In the proof of Homology, Lemma 12.7.4 it is shown that $\mathop{\mathrm{Ker}}(\varphi )$ and $\mathop{\mathrm{Coker}}(\varphi )$ are equal to the sheafification of the kernel and cokernel of $\varphi $ as a morphism of abelian presheaves. This proves (4). Since the kernel is a equalizer (i.e., a limit) and since sheafification commutes with finite limits, we conclude that (2) holds.

Statement (2) implies (3). Statement (4) implies (5) by our description of sheafification. The characterization of exactness in (6) follows from (2) and (5), and the fact that the sequence is exact if and only if $\mathop{\mathrm{Im}}(\mathcal{F} \to \mathcal{G}) = \mathop{\mathrm{Ker}}(\mathcal{G} \to \mathcal{H})$. $\square$