Mon Feb 5

Part of the proof that tensor is adjoint to Hom.
Extension of scalars.
The tensor algebra of an abelian group -- the left adjoint of Ring -> Ab.
The tensor algebra of a (k,k)-bimodule -- the left adjoint of k-Alg -> (k,k)-BiMod.