Monad in non-programming terms [duplicate]

Answer 1

In non-programming terms:

If F and G are a pair of adjoint functors, with F left adjoint to G, then the composition G.F is a monad.