Lemma 7.45.2. Let $\mathcal{C}$ be a site. Let $a, b : V \to U$ be objects of $\mathcal{C}$ such that

is a coequalizer in $\mathop{\mathit{Sh}}\nolimits (\mathcal{C})$. Then $\Gamma (\mathcal{C}, \mathcal{F})$ is the equalizer of $a^*, b^* : \mathcal{F}(U) \to \mathcal{F}(V)$.

## Comments (0)