Lemma 17.22.6. Let $X$ be a topological space. Let $\mathcal{O}_1 \to \mathcal{O}_2$ be a homomorphism of sheaves of rings. Then we have

$\mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_1}(\mathcal{F}_{\mathcal{O}_1}, \mathcal{G}) = \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_2}(\mathcal{F}, \mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_1}(\mathcal{O}_2, \mathcal{G}))$

bifunctorially in $\mathcal{F} \in \textit{Mod}(\mathcal{O}_2)$ and $\mathcal{G} \in \textit{Mod}(\mathcal{O}_1)$.

Proof. Omitted. This is the analogue of Algebra, Lemma 10.14.4 and is proved in exactly the same way. $\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).