 The functor
is given by "T" = "GF".The unit of the monad
is just the unit η of the adjunction and the multiplication transformation
is given by μ = "G"ε"F".Dually, the triple 〈"FG", ε, "F"η"G"〉 defines a comonad in "C".