Tensor product of sheaves (source code)

= Tensor product of sheaves
{title2=$\mathcal F\otimes_{\mathcal O_X}\mathcal G$}

= Tensor products of sheaves
{synonym}

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$.