From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2375 Path: news.gmane.org!not-for-mail From: Newsgroups: gmane.science.mathematics.categories Subject: Compatibility of functors with limits Date: Fri, 4 Jul 2003 19:05:53 +0200 (CEST) Message-ID: <32772.62.147.147.34.1057338353.squirrel@seven.ihes.fr> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1241018612 3824 80.91.229.2 (29 Apr 2009 15:23:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:23:32 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Fri Jul 4 16:47:04 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 04 Jul 2003 16:47:04 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19YWVY-0005jP-00 for categories-list@mta.ca; Fri, 04 Jul 2003 16:46:12 -0300 X-Mailer: SquirrelMail (version 1.2.6) X-Scanner: exiscan for exim4 *19YUI2-0000TD-00*KH1rUPsEz0k* Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 3 Original-Lines: 51 Xref: news.gmane.org gmane.science.mathematics.categories:2375 Archived-At: I have the sensation that I'm about to ask a question to which half the readers of this list will be able to see an answer immediately. Unfortunately, I'm one of the other half. What should it mean for a functor to "respect limits"? Consider the following informal definition: a functor respects limits if given any diagram in the domain category, the limit of the image of the diagram is no bigger than it needs to be. Formally, let F: A ---> B be a functor, where B is a category with (for sake of argument) all small limits and colimits. Let I be a small category and D: I ---> A a diagram in A; write Cone(D) for the category of cones on D in A, write Cone(FD) for the category of cones on FD in B, and write F_*: Cone(D) ---> Cone(FD) for the induced functor. Then F can be said to "respect limits for D" if the colimit of F_* is the terminal object of Cone(FD) (that is, the limit cone on FD). * Example: if D has a limit in A then the limit is a terminal object of Cone(D), so F respects limits for D if and only if it preserves the limit in the usual sense. * Example: let B = Set and let A be the category consisting of a pair of parallel arrows; a functor F: A ---> B consists of sets and functions sigma, tau: F_0 ---> F_1. The condition that F respects pullbacks says that sigma and tau are monic and that the images of sigma and tau are disjoint. The thought behind "no bigger than it needs to be" (a very approximate description, I know) is that if we have a cone on D with vertex v then there's an induced map from F(v) to lim(FD), which in some sense places a "lower bound" on lim(FD): e.g. if B = Set and F(v) is nonempty then lim(FD) is nonempty. For F to respect limits for D means that lim(FD) is built up freely from these F(v)s. So the question is: is this notion of "respecting limits" well-known or well-understood? Is there, for instance, some way of rephrasing it that brings it into more familiar territory? Thanks very much, Tom