 a functor "G" such that "FG" is naturally isomorphic to 1"D") need not be a right (or left) adjoint of "F".Adjoints generalize "two-sided" inverses.Every adjunction 〈"F", "G", ε, η〉 gives rise to an associated monad 〈"T", η, μ〉 in the category "D".