Theorem 3.7. Assuming that:

Then specifying an adjunction (F⊣G) is equivalent to specifying a natural transformation η:1C→GF and 𝜀:FG→1D satisfying the two commutative diagrams:
F FGF G GF G F1𝜀FηF aFnd η1GGG𝜀 G