From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6768 Path: news.gmane.org!not-for-mail From: David Roberts Newsgroups: gmane.science.mathematics.categories Subject: Re: Timelines for category theory: a response to comments Date: Tue, 12 Jul 2011 06:48:53 +0930 Message-ID: References: Reply-To: David Roberts 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 1310479209 10576 80.91.229.12 (12 Jul 2011 14:00:09 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 12 Jul 2011 14:00:09 +0000 (UTC) Cc: "categories@mta.ca" , George Janelidze To: Ronnie Brown Original-X-From: majordomo@mlist.mta.ca Tue Jul 12 16:00:03 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 1QgdVK-00024C-LK for gsmc-categories@m.gmane.org; Tue, 12 Jul 2011 16:00:02 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:57987) by smtpy.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1QgdT6-0001QB-1u; Tue, 12 Jul 2011 10:57:44 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1QgdT5-0006Dc-8i for categories-list@mlist.mta.ca; Tue, 12 Jul 2011 10:57:43 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6768 Archived-At: Hi Ronnie, > ....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 topolo= gy > 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 a good candidate for what your 12., combined with 11., 8. and a bit of 5.= might look like is Baez and Stay's 'Rosetta stone' paper, see: http://golem.ph.utexas.edu/category/2008/03/physics_topology_logic_and_co= m.html Clearly this is only a tiny slice of the category theory cake, and perhap= s again a biased one, but at least it contains facts, and references. Best of luck with this project, I look forward to contributing in what sm= all way I can. David ------------------------------ David Roberts david.roberts@adelaide.edu.au University of Adelaide [For admin and other information see: http://www.mta.ca/~cat-dist/ ]