Lemma 7.37.1. Let $\mathcal{C}$ be a site. Let $u, u' : \mathcal{C} \to \textit{Sets}$ be two functors, and let $t : u' \to u$ be a transformation of functors. Then we obtain a canonical transformation of stalk functors $t_{stalk} : \mathcal{F}_{p'} \to \mathcal{F}_ p$ which agrees with $t$ via the identifications of Lemma 7.32.3.

Proof. Omitted. $\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).