Definition:Adjoint Functor

Also see

 * Definition:Left Adjoint Functor