strong adjoint functor
For a cartesian closed category and two endofunctors, they are called strong adjoints to each other if there is a natural isomorphism
for all objects and for the internal hom.
Notice that for the terminal object of we have that the global points of the internal hom give the external hom set
Therefore strongly adjoint functors are in particular adjoint functors in the ordinary sense.
For instance appendix 6 of
Created on December 7, 2011 19:45:19
by Urs Schreiber