 These definitions via universal morphisms are often useful for establishing that a given functor is left or right adjoint, because they are minimalistic in their requirements.They are also intuitively meaningful in that finding a universal morphism is like solving an optimization problem.A hom-set adjunction between two categories "C" and "D" consists of two functors "F"