Azimuth Forum
Visit Site
Matthew
Thanks for the explanation. Not only do I have a better understanding of conjoint and companions but also of the adjoint functor theorem!
Version 2.1.8p2