Adjunction F ⊣ G

A pair of functors with a natural bijection Hom_D(F A, B) ≅ Hom_C(A, G B). Free/forgetful pairs are the paradigm; every adjunction gives a monad.