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

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

## Comments (0)