From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5400 Path: news.gmane.org!not-for-mail From: Mike Stay Newsgroups: gmane.science.mathematics.categories Subject: Re: additions Date: Mon, 21 Dec 2009 16:39:38 -0800 Message-ID: References: Reply-To: Mike Stay 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 1261526488 25772 80.91.229.12 (23 Dec 2009 00:01:28 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 23 Dec 2009 00:01:28 +0000 (UTC) To: =?ISO-8859-1?B?Sm95YWwsIEFuZHLp?= Original-X-From: categories@mta.ca Wed Dec 23 01:01:21 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 1NNEfI-000075-Kl for gsmc-categories@m.gmane.org; Wed, 23 Dec 2009 01:01:20 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NNECG-0006CY-9s for categories-list@mta.ca; Tue, 22 Dec 2009 19:31:20 -0400 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5400 Archived-At: On Mon, Dec 21, 2009 at 12:43 AM, Joyal, Andr=E9 wrot= e: > In my message to John Baez, I wrote: > >>I can distinguish approximatly 6 major currents: > >>5) Category theory and computer science I'm trying to expose my fellow programmers to the joys of category theory, but none of them have a math or physics background (or even a funcitonal programming background), which is where most of my experience with CT has been. What have been the major applications of category theory to computer science that have affected programmers? Are there new algorithms? Are there really nice ways of solving certain problems? The fact that data types with equivalence classes of lambda terms between them form a cartesian closed category doesn't seem to inspire them very much. --=20 Mike Stay - metaweta@gmail.com http://math.ucr.edu/~mike http://reperiendi.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]