From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2447 Path: news.gmane.org!not-for-mail From: Ross Street Newsgroups: gmane.science.mathematics.categories Subject: Re: Higher Order Yoneda? Date: Thu, 25 Sep 2003 12:34:14 +1000 Message-ID: References: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" ; format="flowed" X-Trace: ger.gmane.org 1241018668 4200 80.91.229.2 (29 Apr 2009 15:24:28 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:24:28 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Sep 30 13:32:51 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 30 Sep 2003 13:32:51 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1A4NK4-0006xm-00 for categories-list@mta.ca; Tue, 30 Sep 2003 13:26:00 -0300 X-Sender: street@icsmail.ics.mq.edu.au In-Reply-To: Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 21 Original-Lines: 22 Xref: news.gmane.org gmane.science.mathematics.categories:2447 Archived-At: [Note from Moderator: Apologies to Ross for the inadvertent delay in posting this.] >I was looking for a reference (or correction!) to the following observation >in indexed category theory. Try, for example, Theorem (5.15) of 13. Cosmoi of internal categories, Transactions American Math. Soc. 258 (1980) 271-318; MR82a:18007. Regards, Ross PS Allow me to correct an annoyingly wrong gratuitous word on the same page as that Theorem; the word "full" should be deleted on the second line of (5.13).