commutative tensor functor of modules

Let be a commutative ring and an -module. Then the tensoring functor is defined as covariant functor for the category of Modules

see also:

• tensor bifunctor