Lemma 19.8.1. The functor $\mathcal{F} \mapsto \mathcal{F}^\vee$ is exact.

Proof. This because $\mathcal{J}$ is an injective abelian sheaf. $\square$

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