From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5362 Path: news.gmane.org!not-for-mail From: Zinovy Diskin Newsgroups: gmane.science.mathematics.categories Subject: Re: A well kept secret Date: Sat, 12 Dec 2009 22:30:57 -0500 Message-ID: References: Reply-To: Zinovy Diskin NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1260746454 7826 80.91.229.12 (13 Dec 2009 23:20:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 13 Dec 2009 23:20:54 +0000 (UTC) To: =?UTF-8?Q?Joyal=2C_Andr=C3=A9?= , Original-X-From: categories@mta.ca Mon Dec 14 00:20:47 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 1NJxk2-0003eA-5Q for gsmc-categories@m.gmane.org; Mon, 14 Dec 2009 00:20:42 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NJxFE-0004Zb-C2 for categories-list@mta.ca; Sun, 13 Dec 2009 18:48:52 -0400 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5362 Archived-At: On Mon, Dec 7, 2009 at 9:13 AM, Joyal, Andr=C3=A9 wro= te: > Category theory is a powerful mathematical language. > It is extremely good for organising, unifying and suggesting new directio= ns of research. one important point is missing: design and design patterns. Design from scratch is for geniuses while ordinary people design by adapting and developing preexisting patterns. Category theory created a powerful system of design patterns for math and beyond (computer science, physics, engineering). It seems it changed the very nature of mathematical design. Z. > It is probably the most important mathematical developpement of the 20th = century. > > But we cant say that publically. > > Andr=C3=A9 Joyal > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]