 Extension of scalars

For a ring homomorphism $R\to A$, tensoring an $R$-module with the $(A,R)$-bimodule $A$ gives an $A$-module. This functor is left adjoint to restriction of scalars.