10 Mar
2002
10 Mar
'02
7:10 a.m.
david carlton wrote:
al example I know of is the following: given functors F: C -> D and G: D -> C such that FG and GF are both equivalent to the identity functor, one can always choose the relevant natural equivalences in such a way that F and G become adjoint functors (with those natural equivalences as unit and counits). Are there other such situations?
similar, but slightly stronger: any pair of transformations FG-->Id and Id-->GF such that the obvious composites F-->FGF-->F and G-->GFG-->G split on either side can be modified to give an adjunction F-|G. -- dusko