Category of modules over a commutative ring

Let be a commutative ring. Then is a Closed monoidal category under the normal tensor product with the regular module as its tensor unit. #m/thm/module See also the special case of .

#state/develop | #lang/en | #SemBr