On Mon, Dec 7, 2009 at 9:13 AM, Joyal, André <joyal.andre@uqam.ca> wrote:
Category theory is a powerful mathematical language. It is extremely good for organising, unifying and suggesting new directions 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é Joyal
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]