Matthew

Thanks for the explanation. Not only do I have a better understanding of conjoint and companions but also of the adjoint functor theorem!