Tensor product of sheaves (source code)

= Tensor product of sheaves
{title2=$\mathcal F\otimes_{\mathcal O_X}\mathcal G$}
{wiki=Tensor_product_of_modules#Tensor_product_of_sheaves_of_modules}

The tensor product of two sheaves of $\mathcal O_X$-modules is the sheafification of $U\mapsto\mathcal F(U)\otimes_{\mathcal O_X(U)}\mathcal G(U)$. Its stalk at $x$ is $\mathcal F_x\otimes_{\mathcal O_{X,x}}\mathcal G_x$.