Lemma 18.36.2. Let $\mathcal{C}$ be a site. Let $p$ be a point of $\mathcal{C}$.

The functor $\textit{Ab}(\mathcal{C}) \to \textit{Ab}$, $\mathcal{F} \mapsto \mathcal{F}_ p$ is exact.

The stalk functor $\textit{PAb}(\mathcal{C}) \to \textit{Ab}$, $\mathcal{F} \mapsto \mathcal{F}_ p$ is exact.

For $\mathcal{F} \in \mathop{\mathrm{Ob}}\nolimits (\textit{PAb}(\mathcal{C}))$ we have $\mathcal{F}_ p = \mathcal{F}^\# _ p$.

## Comments (0)

There are also: