Entonces "S" se puede considerar como un "R"-módulo (izquierdo), y el producto tensorial con "S" da un funtor "F": "R"-Mod → "S"-Mod.