Re: no fundamental theorems please

On Wed, Jun 24, 2009 at 8:52 AM, claudio pisani<pisclau@yahoo.it> wrote:

Of course, the proof that the object x:1->X (of Cat/X) has the slice  X/x -> X as a reflection in df/X (and its final object as reflecton map) is essentially the same of that of the standard Yoneda lemma, and the general case only requires a little more effort.

This is indeed a very nice statement of the ordinary Yoneda lemma, but it doesn't seem capable of capturing all incarnations of the Yoneda lemma, such as that in enriched category theory. Mike [For admin and other information see: http://www.mta.ca/~cat-dist/ ]