Tensor product
Tensor product of sheaves of modules.