Azimuth Forum
Visit Site
I think most of this can be generalized to adjoint functors.
Version 2.1.8p2