From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3404 Path: news.gmane.org!not-for-mail From: Tom Leinster Newsgroups: gmane.science.mathematics.categories Subject: Re: classifying functor and colimits Date: Mon, 28 Aug 2006 13:45:07 +0100 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019284 8594 80.91.229.2 (29 Apr 2009 15:34:44 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:34:44 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon Aug 28 14:33:46 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 28 Aug 2006 14:33:46 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1GHksh-00012d-3y for categories-list@mta.ca; Mon, 28 Aug 2006 14:26:39 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 37 Original-Lines: 63 Xref: news.gmane.org gmane.science.mathematics.categories:3404 Archived-At: Dear David, > I have been plagued by the following question: does the classifying > space functor commute with (co)limits? The classifying space functor (from Cat to Top) does preserve finite products. It doesn't preserve all infinite products, e.g. let A be the discrete category with two objects and consider the product of infinitely many copies of A. Nor does it preserve all colimits, as the following example shows. Let 1 be the terminal category, 2 the category consisting of a single arrow, and 3 the category consisting of a commutative triangle: 1 = . 2 = . --> . 3 = . --> . --> . Take the two different functors from 1 to 2. The pushout of the diagram in Cat formed by these functors is 3, and B3 is Delta^2, the standard topological 2-simplex. However, B1 is the one-point space and B2 is the unit interval, so the pushout of B1 and B2 is an interval of length 2, which is not homeomorphic to Delta^2. This doesn't answer your question about sequential colimits, but maybe it gives some helpful context. Best wishes, Tom > > In particular, I have a system of compact topological groups G_i > indexed by the natural numbers, and a whole lot of inclusions. > > Is B colim G_i homotopic to colim BG_i ? > > I have a hint that this should be so in my particular situation (in a > letter of Serre to Grothendieck), but I'd like to know how the > general case goes. > > Cheers, > > ------------------------------------------------------------------------ > -- > David Roberts > School of Mathematical Sciences > University of Adelaide SA 5005 > ------------------------------------------------------------------------ > -- > droberts@maths.adelaide.edu.au > www.maths.adelaide.edu.au/~droberts > www.trf.org.au > > > > > > -- Tom Leinster