Lemma 7.26.5. Let $\mathcal{C}$ be a site. Let $\{ U_ i \to U\} _{i \in I}$ be a covering of $\mathcal{C}$. The category $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}/U)$ is equivalent to the category of glueing data via the functor that associates to $\mathcal{F}$ on $\mathcal{C}/U$ the canonical glueing data.

Proof. In Lemma 7.26.1 we saw that the functor is fully faithful, and in Lemma 7.26.4 we proved that it is essentially surjective (by explicitly constructing a quasi-inverse functor). $\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).