information:classification
Hom-set adjunction induces all of the above

Given functors F : D → C, G : C → D, and a hom-set adjunction Φ : hom (F -,-) → hom (-, G -), one can construct a counit–unit adjunction

which defines families of initial and terminal morphisms, in the following steps: