From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6933 Path: news.gmane.org!not-for-mail From: F William Lawvere Newsgroups: gmane.science.mathematics.categories Subject: Re: Reference requested Date: Fri, 30 Sep 2011 14:47:18 -0400 Message-ID: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1317409320 27192 80.91.229.12 (30 Sep 2011 19:02:00 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 30 Sep 2011 19:02:00 +0000 (UTC) To: Original-X-From: majordomo@mlist.mta.ca Fri Sep 30 21:01:55 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.30]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1R9iLK-0000iQ-Pw for gsmc-categories@m.gmane.org; Fri, 30 Sep 2011 21:01:55 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:33981) by smtpx.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1R9iK5-0005e1-7p; Fri, 30 Sep 2011 16:00:37 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1R9iK3-0002H2-Jv for categories-list@mlist.mta.ca; Fri, 30 Sep 2011 16:00:35 -0300 Xref: news.gmane.org gmane.science.mathematics.categories:6933 Archived-At: To may@math.uchicago.edu, categories Sender: categories@mta.ca Precedence: bulk Reply-To: F William Lawvere Probably it was not coined but borrowed, from general topology. For at least 50 years, the two, words=20 chaotic codiscrete were alternate terminology for a certain kind of space. I prefer "codiscrete" since it clearly indicates something opposite to discrete, the precise sense of oppositeness being that of inclusions adjoint to the same uniting functor, often called the "underlying". (In higher dimensions, coskeletal and skeletal are similar identical opposites, with "truncation" as uniter). In fact every groupoid is a colimit of codiscrete ones, indeed groupoids form a reflective subcategory of the topos that classifies=20 Boolean algebras, and the latter has a site consisting of codiscrete groupoids. (The generic Boolean algebra 2^( ) has as its natural geometric realization the infinite-dimensional sphere, containing=20 the ordinary interval as a generating distributive lattice). More recently, "chaotic" has come to have a different meaning,=20 although one also involving a right adjoint. If f:X->Y is a map=20 from a space equipped with an action of a monoid T to another space, then f is a chaotic observable if the induced equivariant map from X to the cofree action Y^T is epimorphic. A classic "symbolic" example has Y=3Dpi0(X), i.e. the observation recorded by f is merely of which component we are passing through, but almost any=20 T-sequence of such is obtained by a sufficiently clever choice of initial state in X. Bill Lawvere > Date: Wed, 28 Sep 2011 20:35:02 -0500 > From: may@math.uchicago.edu > CC: categories@mta.ca > Subject: categories: Reference requested >=20 > I have a reference question. Who first coined the term > ``chaotic category'' for a groupoid with a unique morphism > between each pair of object, and in what context? It is a > ridiculously elementary concept, but one that is extremely > useful in work on equivariant bundle theory that is needed > for equivariant infinite loop space theory and equivariant > algebraic K-theory. >=20 > Peter May >=20 >=20 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]