Lemma 59.18.3 (Yoneda Lemma). For any presheaf $\mathcal{F}$ on a category $\mathcal{C}$ there is a functorial isomorphism

$\mathop{\mathrm{Hom}}\nolimits _{\textit{PSh}(\mathcal{C})}(h_ U, \mathcal{F}) = \mathcal{F}(U).$

Proof. See Categories, Lemma 4.3.5. $\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).