From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2087
Path: news.gmane.org!not-for-mail
From: Oswald Wyler <owyler@suscom-maine.net>
Newsgroups: gmane.science.mathematics.categories
Subject: Reference wanted
Date: Wed, 8 Jan 2003 17:52:44 -0500 (EST)
Message-ID: <Pine.LNX.4.44.0301081742240.1541-100000@204-132.suscom-maine.net>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: ger.gmane.org 1241018399 2369 80.91.229.2 (29 Apr 2009 15:19:59 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:19:59 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Wed Jan  8 20:54:55 2003 -0400
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Wed, 08 Jan 2003 20:54:55 -0400
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
	id 18WQwJ-0000g0-00
	for categories-list@mta.ca; Wed, 08 Jan 2003 20:52:55 -0400
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 12
Original-Lines: 11
Xref: news.gmane.org gmane.science.mathematics.categories:2087
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2087>

For a category E with finite limits, every morphism f:A\to B induces a
pullback functor f^*:E/B\to E/A of slice categories, with a left adjoint
given by u:a\to a' \mapsto u:fa\to fa'.  It has been well known since the
late 1960's that this left adjoint is comonadic, but who proved this,
and where?