From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6775 Path: news.gmane.org!not-for-mail From: Michael Barr Newsgroups: gmane.science.mathematics.categories Subject: RE: Timelines for category theory: a response to comments Date: Tue, 12 Jul 2011 11:19:11 -0400 (EDT) Message-ID: References: Reply-To: Michael Barr NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: dough.gmane.org 1310495838 22195 80.91.229.12 (12 Jul 2011 18:37:18 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 12 Jul 2011 18:37:18 +0000 (UTC) Cc: ronnie.profbrown@btinternet.com, categories , janelg@telkomsa.net To: =?ISO-8859-1?Q?Andr=E9_Joyal?= Original-X-From: majordomo@mlist.mta.ca Tue Jul 12 20:37:07 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpy.mta.ca ([138.73.1.128]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1QghpQ-000685-Vm for gsmc-categories@m.gmane.org; Tue, 12 Jul 2011 20:37:05 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:35652) by smtpy.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1Qghmt-0006aH-NW; Tue, 12 Jul 2011 15:34:27 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Qghms-0001Zt-VA for categories-list@mlist.mta.ca; Tue, 12 Jul 2011 15:34:26 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6775 Archived-At: I take it from this list that the developments of the '60s involving "triple cohomology" and acyclic models is not considered of importance in the history of category theory. This comment shows how difficult it is to construct such a timeline that will satisfy everybody. Michael > Our > first draft of topics would be: > > 1. General category theory, including motivation > 2. Abelian categories and homological algebra > 3. Categories and groupoids in homotopical algebra and algebraic > topology > 4. Topos theory > 5. Monoidal, enriched, and higher-dimensional categories > 6. Categorical algebra > 7. Categorical topology > 8. Categorical logic and foundation of mathematics > 10. Categories in algebraic geometry > 11. Categories in computer science > 12. Categories in Physics > > There will be intersections of course, but we presume that is > fine. > > As examples of timelines in other subjects, and their styles, > see for > example > > http://en.wikipedia.org/wiki/List_of_timelines#Science > > particularly those on Physics. > > We look forward to reactions to this proposal. > > Ronnie Brown > > George Janelidze > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]