From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5917 Path: news.gmane.org!not-for-mail From: =?iso-8859-1?Q?Joyal=2C_Andr=E9?= Newsgroups: gmane.science.mathematics.categories Subject: Re: covering spaces and groupoids Date: Fri, 4 Jun 2010 00:12:09 -0400 Message-ID: References: Reply-To: =?iso-8859-1?Q?Joyal=2C_Andr=E9?= 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: dough.gmane.org 1275843203 5323 80.91.229.12 (6 Jun 2010 16:53:23 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 6 Jun 2010 16:53:23 +0000 (UTC) To: "F. William Lawvere" , , Original-X-From: categories@mta.ca Sun Jun 06 18:53:20 2010 connect(): No such file or directory 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.69) (envelope-from ) id 1OLJ67-00079E-Mn for gsmc-categories@m.gmane.org; Sun, 06 Jun 2010 18:53:20 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OLIZi-0005Iq-2H for categories-list@mta.ca; Sun, 06 Jun 2010 13:19:50 -0300 Thread-Index: AcsDh0X13T0Fhx85SMCNL8OdjXWhOgADaWM3 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5917 Archived-At: Dear Bill, The base point is important in algebraic topology for many reasons. The category of pointed spaces can be understood as the first step = toward=20 "embedding" the category of spaces into something like an additive = category=20 (for example, into the category of spectra). An additive category is pointed. The base point of a space is playing = the role of the null element. A wedge of pointed spaces is their "sum", and a smash product of two pointed spaces is their tensor product. By a theorem of Kan, the model category of pointed connected spaces is=20 Quillen equivalent to the model category of (simplicial) groups. The category of groups is not additive, since a group is not abelian, but it is nearly so. The category of (simplicial) groups is a homotopy variety of algebras, hence also the category of pointed connected spaces. The pointed circle is the natural generator of the category of pointed connected spaces. Every pointed connected space is a homotopy sifted colimit of bouquets of circles. The category of pointed n-connected spaces is a homotopy variety of algebras for every n geq 0. The pointed (n+1)-sphere is the natural generator. Best wishes, Andr=E9 -------- Message d'origine-------- De: categories@mta.ca de la part de F. William Lawvere Date: jeu. 03/06/2010 14:14 =C0: may@math.uchicago.edu; ronnie.profbrown@btinternet.com Cc: jds@math.upenn.edu; categories Objet : categories: Re: covering spaces and groupoids =20 Dear Ronnie and Peter, =20 In the applications of algebraic topology to topology, where do the 'basepoints'=20 originate? From my (regrettably too few) contacts with algebraic topologists I gleaned the following: =20 1. =20 (S. Eilenberg) The base point is the residue of a collapsed subspace, which results, for example, in constructing a = model of the 2-sphere by collapsing the boundary of a 2-ball.=20 =20 2. =20 (B. Eckmann) The pairs, space/subspace (whose homology is often = studied) can be usefully generalized to arbitrary maps as objects, not just inclusion maps. =20 3. =20 (R. Swan) A construction is usually not functorial if one of its steps involves complementation of subobjects; but collapsing subobjects = retains nearly the same information, yet is functorial. =20 4. =20 (M. Artin and G. Wraith) An important refinement of the morphism category of 2. above involves 'gluing' along a left-exact functor = between two categories, a special 'comma' category construction that in fact = always yields a topos if the original categories are toposes. For example, the = inverse image functor i of a grounding of one topos over another yields in this way a topos whose objects are maps i(S) =E0 E. =20 5. =20 (P. Freyd) Under the name of sconing the geometrical construction of 4. is very useful in case the objects S of = the base topos deserve to be called 'discrete'. (Ronnie B. points out that this = sort of category is the natural domain of the fundamental groupoid.) =20 6. =20 Suppose a topos (of spaces) is locally connected over another one (of discrete spaces). That means that the inverse image = functor i (itself the left adjoint of a points functor) has its own further left adjoint p counting connected components. Then the constructions of 4., 5., yield a result which is again locally = connected; the extended p assigns to any A=E0 E the pushout E/A with A=E0 i p A. In the spirit of 3. I think of E/A as = the exterior of A. This construction is clearly a left adjoint and hence co-continuous in = contrast to the construction which merely collapses any A to a point (with which it = agrees in case A has exactly one component). Here is a proposed application of the construction of 4., 5, 6., to geometric analysis, serving e.g. as a refutation to the = supposed ubiquity of rings without unit: =20 The easy notion of support for covariant quantities like measures is concerned with domain of = dependence: An element of M(E) might come from an element of M(A) via A =E0 E and hence = be supported on A. Also for contravariant quantities we need not make an = abusive use of the properties of minus and zero. A function on X 'of compact = support' may be interpreted as one that does not depend on the large part L=20 which is remote from some small part K of interest; here K union L =3D = X. The complements of such K are to be inoperative in the variation of such particular functions. But even the line has two ends so that = constancy on the components of L is a more functorial condition on functions. If = the codomain space R has certain algebraic structure, then R(X,L) =3D = R^(X/L), the exponential space of functions on the indicated pushout enjoys all the = same algebraic structure, as does the colimit over all large remote L in X = (these being filtered). Of course, this construction R(X/infinity) is = functorial only for proper maps X =E0 Y, i.e. those whose inverse image preserves the large remoteness. The = covariant dependency of the dual space Hom (R (X/infinity), R) of functionals is = likewise only along proper maps, in contrast to that of the smaller space = M(X)=3DHom(R^X,R) of functionals that have to integrate all functions of the category. Best wishes,Bill [For admin and other information see: http://www.mta.ca/~cat-dist/ ]