Dear Paul, Two more examples: when is some Australian going to write "2-categories for the working categorist"? Where is the textbook on universal algebra based on monads? Absolutely. The latter would so greatly simplify a number of cross-disciplinary conversations. Best wishes, --greg On Thu, Dec 10, 2009 at 6:49 AM, Paul Taylor <pt09@paultaylor.eu> wrote:
I'm not too sure what the context was, but Andre' Joyal said on 7 December,
Category theory is a powerful mathematical language. It is extremely good for organising, unifying and suggesting new directions of research.
I completely agree.
It is probably the most important mathematical developpement of the 20th century.
It is too early to tell.
[Comment attributed to Zhou Enlai (Chinese Communist leader 1949-76) when asked his opinion of the French Revolution.]
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]