Si "R" es un anillo y "M" es un "R" módulo derecho, entonces el producto tensorial con "M" da un funtor "F": "R"-Mod → Ab.