From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4557 Path: news.gmane.org!not-for-mail From: Andre Joyal Newsgroups: gmane.science.mathematics.categories Subject: The disdain for categories Date: Wed, 10 Sep 2008 13:35:22 -0400 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241020024 13842 80.91.229.2 (29 Apr 2009 15:47:04 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:47:04 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Wed Sep 10 19:57:47 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 10 Sep 2008 19:57:47 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KdYYB-00059K-Sp for categories-list@mta.ca; Wed, 10 Sep 2008 19:52:39 -0300 Content-class: urn:content-classes:message Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 27 Original-Lines: 73 Xref: news.gmane.org gmane.science.mathematics.categories:4557 Archived-At: Jim Stasheff wrote: >In my experience, disdain for cat theory is due to papers with a very >high density of unfamiliar names >reminiscent of the minutia of PST and the (in) famous comment (by some >one) about something like: >hereditary hemi-demi-semigroups with chain condition The chosen example is not too convincing,=20 since the notions involved are not typically categorical. Complicated sentences like this can be found in every fields. They are often the mark of a poor paper. My guess is that the disdain for categories has a mixed origin. Like logic, category theory has a taste for generalities. But most mathematicians are specialised and they find it hard to believe that important progresses can be made in their fields from the outside, as the result of general insights. But we all know that the division of mathematics into fields=20 is justified more by sociology than by science.=20 Category theory is a powerful tool for crossing=20 the boundaries between the fields. The unity of mathematics is growing stronger every day. andre -------- Message d'origine-------- De: cat-dist@mta.ca de la part de jim stasheff Date: mar. 09/09/2008 18:22 =C0: categories@mta.ca Objet : categories: Re: Categories and functors, query =20 Walter, I beg to differ only with In my experience, skepticism towards category theory is often rooted in the fear of the "illegitimately large" size, till today. In my experience, disdain for cat theory is due to papers with a very high density of unfamiliar names reminiscent of the minutia of PST and the (in) famous comment (by some one) about something like: hereditary hemi-demi-semigroups with chain condition jim Tholen wrote: > There is another aspect to the E-M achievement that I stressed in my > CT06 talk for the Eilenberg - Mac Lane Session at White Point. Given = the > extent to which 20th-century mathematics was entrenched in set theory, > it was a tremendous psychological step to put structure on "classes" = and > to dare regarding these (perceived) monsters as objects that one could > study just as one would study individual groups or topological spaces. > In my experience, skepticism towards category theory is often rooted = in > the fear of the "illegitimately large" size, till today. By = comparison, > Brandt groupoids lived in the cozy and familiar small world, and their > definition was arrived at without having to leave the universe. With = the > definition of category (and functor and natural transformation) > Eilenberg and Moore had to do a lot more than just repeating at the > monoid level what Brandt did at the group level! In my view their big > psychological step here is comparable to Cantor's daring to think that > there could be different levels of infinity. > > Cheers, > Walter.