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