Calculating monad transformers with category theory

We show that state, reader, writer, and error monad transformers are instances of one general categorical construction: translation of a monad along an adjunction.