Lemma 6.14.2. Let X be a topological space. Let \mathcal{O} \to \mathcal{O}' be a morphism of presheaves of rings on X. Let \mathcal{F} be a presheaf of \mathcal{O}-modules. Let x \in X. We have
\mathcal{F}_ x \otimes _{\mathcal{O}_ x} \mathcal{O}'_ x = (\mathcal{F} \otimes _{p, \mathcal{O}} \mathcal{O}')_ x
as \mathcal{O}'_ x-modules.
Comments (0)