From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5411 Path: news.gmane.org!not-for-mail From: =?iso-8859-1?Q?Joyal=2C_Andr=E9?= Newsgroups: gmane.science.mathematics.categories Subject: =?iso-8859-1?Q?RE=A0=3A_categories=3A_additions?= Date: Wed, 23 Dec 2009 12:08:15 -0500 Message-ID: References: Reply-To: =?iso-8859-1?Q?Joyal=2C_Andr=E9?= 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: ger.gmane.org 1261595388 25369 80.91.229.12 (23 Dec 2009 19:09:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 23 Dec 2009 19:09:48 +0000 (UTC) To: "Michael Barr" , Original-X-From: categories@mta.ca Wed Dec 23 20:09:41 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NNWaa-0005In-LE for gsmc-categories@m.gmane.org; Wed, 23 Dec 2009 20:09:40 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NNWLN-0002Gw-LS for categories-list@mta.ca; Wed, 23 Dec 2009 14:53:57 -0400 Thread-Topic: categories: additions Thread-Index: AcqCcufZ/5GODVp8T9iqSwyrj4ssDwASL9b1AE23S/Q= Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5411 Archived-At: Michael Barr wrote: >I would add something between 2 and 3 about Triples (allright,=20 >monads) and Equational theories. I agree. Let me expand the list further: 1) Algebraic topology and homological algebra 2) Abelian categories 3) Adjoint functors and monads 4) Algebraic geometry and topos theory 5) General universal algebra 6) Limit sketches and locally presentable categories 7) Categorical logic 8) Categorical model theory 9) Homotopical algebra 10) Elementary toposes theory and set theory 11) Monoidal categories and enriched category theory 12) General tensor algebras and coalgebras 13) Category theory and computer science 14) Quantum field theory 15) Higher categories and homotopy theory Best, Andr=E9 -------- Message d'origine-------- De: Michael Barr [mailto:barr@math.mcgill.ca] Date: lun. 21/12/2009 14:20 =C0: Joyal, Andr=E9 Cc: categories@mta.ca Objet : Re: categories: additions =20 I would add something between 2 and 3 about Triples (allright,=20 monads) and Equational theories. Here is an example of the sort of thing we are up against. A colleague=20 called me this morning because a student had taken a set of notes (in=20 French) on his course and was interested in publishing it. My colleague = had an objection because in describing conformal isomorphism from the=20 complex plane (or maybe sphere) to itself, the student had used the word = "towards" (vers) instead of "on". His objection was that a conformal=20 isomorphism was something between two spaces, not from one to the other. = My answer was a specific such map was a map from one to the other. His=20 reply essentially was, "Oh, it's category theory language. Well, I = won't=20 allow any of that in MY notes. No analyst would use that language." Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]