Category of left modules Category of modules over a commutative ring Let be a commutative ring. Then [[Category of left modules|]] is a Closed monoidal category under the normal tensor product with the regular module as its tensor unit. module See also the special case of Category of vector spaces. develop | en | sembr