categories - Category Theory list
 help / color / mirror / Atom feed
From: David Roberts <david.roberts@adelaide.edu.au>
To: Ronnie Brown <ronnie.profbrown@btinternet.com>
Cc: "categories@mta.ca" <categories@mta.ca>,
	       George Janelidze <janelg@telkomsa.net>
Subject: Re: Timelines for category theory: a response to comments
Date: Tue, 12 Jul 2011 06:48:53 +0930	[thread overview]
Message-ID: <E1QgdT5-0006Dc-8i@mlist.mta.ca> (raw)
In-Reply-To: <E1QgIJp-0006ro-Ed@mlist.mta.ca>

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 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


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_com.html

Clearly this is only a tiny slice of the category theory cake, and perhaps 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 small 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/ ]


  parent reply	other threads:[~2011-07-11 21:18 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-07-10 17:03 Ronnie Brown
2011-07-11 15:58 ` jim stasheff
2011-07-11 18:11 ` Robert Dawson
2011-07-11 18:14 ` Sergei SOLOVIEV
2011-07-11 21:18 ` David Roberts [this message]
2011-07-12 16:13   ` Graham White
2011-07-13  0:33     ` Comments on a wikipedia article on a Timeline of Category theory peasthope
2011-07-13  7:43     ` Re: Timelines for category theory: a response to comments Patrik Eklund
2011-07-12 14:10 ` Jeremy Gibbons
  -- strict thread matches above, loose matches on Subject: below --
2011-07-11 17:34 André Joyal
2011-07-12 15:19 ` Michael Barr
2011-07-07 13:14 Comments on a wikipedia article on a Timeline of Category theory Ronnie Brown
2011-07-08  1:35 ` Joyal, André
2011-07-08  7:33 ` Andree Ehresmann
2011-07-08 11:53 ` Sergei SOLOVIEV
2011-07-08 12:57   ` Robert Dawson
2011-07-08 13:43 ` Valeria de Paiva
2011-07-09  2:52 ` Peter Selinger
2011-07-09 14:37   ` Toby Bartels
2011-07-09 19:48   ` Eduardo J. Dubuc

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1QgdT5-0006Dc-8i@mlist.mta.ca \
    --to=david.roberts@adelaide.edu.au \
    --cc=categories@mta.ca \
    --cc=janelg@telkomsa.net \
    --cc=ronnie.profbrown@btinternet.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).