categories - Category Theory list
 help / color / mirror / Atom feed
From: Ronnie Brown <ronnie.profbrown@btinternet.com>
To: "categories@mta.ca" <categories@mta.ca>
Cc: George Janelidze <janelg@telkomsa.net>
Subject: Timelines for category theory: a response to comments
Date: Sun, 10 Jul 2011 18:03:13 +0100	[thread overview]
Message-ID: <E1QgIJp-0006ro-Ed@mlist.mta.ca> (raw)

Dear Colleagues,

Many thanks for your comments, which show how our community sees the
problem. The discussion is obviously not finished yet.

Let us actually try to say what is the MAIN problem with this article.
The main problem is the picture of category theory it draws! Many of you
give courses in category theory at various levels - beautiful courses
showing that category theory provides a new most advanced level of
thinking in mathematics ("thinking categorically!"), and has made major
contributions to the unity of mathematics. So, why don't you compare the
plan of your own course with this article? Surely you do not begin your
course with resolutions of modules and you do not end it with "extended
TQFT", do you?

On the other hand there is clearly a desire to have a good content  and
context for category theory on wikipedia, which is often the first port
of call for students, and those potentially interested, and so there are
calls for an improved Timeline for category theory. To take in the whole
subject in one timeline, with references, would seem an enormous and
controversial task.

We therefore propose that the present article be replaced by  a list of
topics with links to articles on timelines of those topics. And then
each "timeline" should be written by a chosen group of experts. 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/ ]


             reply	other threads:[~2011-07-10 17:03 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-07-10 17:03 Ronnie Brown [this message]
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
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=E1QgIJp-0006ro-Ed@mlist.mta.ca \
    --to=ronnie.profbrown@btinternet.com \
    --cc=categories@mta.ca \
    --cc=janelg@telkomsa.net \
    /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).