7 Feb
2011
7 Feb
'11
3:06 a.m.
Paul Blain Levy asks:
Does the following result (which I learnt from Rasmus Mogelberg) appear in the literature somewhere?
Given categories C and D, a functor P : C^op x D --> Set and an adjunction F -| U : D --> C
the end over c in C of P(c,Fc) is (isomorphic to) the end over d in D of P(Ud,d).
For well over 40 years I've always thought of that as the Beck/Lawvere vision of what an adjunction *is* :-) . Cheers, -- Fred [For admin and other information see: http://www.mta.ca/~cat-dist/ ]