On Mon, Dec 21, 2009 at 12:43 AM, Joyal, André <joyal.andre@uqam.ca> wrote:
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. -- 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/ ]