Freyd adjoint functor theorem

  1. REDIRECT Adjoint functors