From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5031 Path: news.gmane.org!not-for-mail From: Michael Shulman Newsgroups: gmane.science.mathematics.categories Subject: Re: no fundamental theorems please Date: Fri, 26 Jun 2009 08:51:11 -0500 Message-ID: Reply-To: Michael Shulman NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1246089274 13656 80.91.229.12 (27 Jun 2009 07:54:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 27 Jun 2009 07:54:34 +0000 (UTC) To: claudio pisani Original-X-From: categories@mta.ca Sat Jun 27 09:54:28 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1MKSjx-0004tJ-KB for gsmc-categories@m.gmane.org; Sat, 27 Jun 2009 09:54:25 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MKSFJ-00026J-Di for categories-list@mta.ca; Sat, 27 Jun 2009 04:22:45 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5031 Archived-At: On Wed, Jun 24, 2009 at 8:52 AM, claudio pisani wrote: > Of course, the proof that the object x:1->X (of Cat/X) has the slice > =A0X/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/ ]