For every module 
over a unit ring 
, the tensor product functor 
is a covariant
functor from the category of 
-modules to itself. It maps every 
-module 
to 
and every module
homomorphism 
to the module homomorphism
 |
defined by
 |
The tensor product functor 
is defined similarly.
