From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7764 Path: news.gmane.org!not-for-mail From: Bob Rosebrugh Newsgroups: gmane.science.mathematics.categories Subject: BOUNCE categories@mta.ca: Approval required: (fwd) Date: Thu, 13 Jun 2013 13:00:04 -0300 (ADT) Message-ID: Reply-To: Bob Rosebrugh NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII X-Trace: ger.gmane.org 1371139342 5160 80.91.229.3 (13 Jun 2013 16:02:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 13 Jun 2013 16:02:22 +0000 (UTC) To: categories Original-X-From: majordomo@mlist.mta.ca Thu Jun 13 18:02:23 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Un9yd-0000S1-79 for gsmc-categories@m.gmane.org; Thu, 13 Jun 2013 18:02:19 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:40828) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Un9wZ-00005b-N5; Thu, 13 Jun 2013 13:00:11 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Un9wS-0005wV-MV for categories-list@mlist.mta.ca; Thu, 13 Jun 2013 13:00:04 -0300 User-Agent: Alpine 2.02 (LRH 1266 2009-07-14) Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7764 Archived-At: Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes To: "Marta Bunge" , categories@mta.ca, "Tom Hirschowitz" Subject: Re: Publicity References: Date: Thu, 13 Jun 2013 09:40:34 +0300 MIME-Version: 1.0 Content-Transfer-Encoding: Quoted-Printable From: "Revence Kalibwani" Message-ID: In-Reply-To: Speaking as one who hated mathematics consistently in school, and then = came to be deeply intrigued by category theory (because I have a = probably-pathological obsession with corollaries), I am forced to concur= = with Tom. I=E2=80=99ll never be a professional mathematician, but someth= ing about = basic category theory just sounds so human. Analogies, homologies, = similarities, memories =E2=80=A6 these are the things our minds process = every time = we look at a face, and category theory says =E2=80=9CI can help you draw= a bunch = of squiggly stuff for that.=E2=80=9D What=E2=80=99s not to love? =CE=A4=CE=B7=CE=BD Tue, 11 Jun 2013 15:40:33 +0300,=CE=BF(=CE=B7) Tom Hi= rschowitz = =CE=AD=CE=B3=CF=81=CE=B1=CF=88=CE=B5: > Dear Marta, > > Thanks very much for your detailed answer. > > First, I agree with you that it is wrong to equate category theory wit= h > logic and computation. I don't know whose mistake this is, but it > certainly is one. > > However, it seems to me that people may be led to category theory, or > more generally any interesting subject matter, for bad reasons --- and= > that this is sometimes good. (*) > > Category-land, as Jean B?nabou calls it, may look like a fortress from= > the outside. So maybe we should be softer towards people trying to mak= e > it look attractive and open. > > What do you think? > > Best wishes, > Tom > > (*) It was John Baez, `making a fool of himself' as usual, who made me= > think I could enter the fortress back in 2006. I'll probably never be = as > fluent as native category theorists, but I nevertheless think my > research has improved since then. > > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]