In my message to John Baez, I wrote:
I can distinguish approximatly 6 major currents:
1) Algebraic topology and homological algebra 2) Abelian categories 3) Algebraic Geometry and topos theory 4) Logic and elementary topos theory 5) Category theory and computer science 6) Higher categories with homotopy theory
The list is too restrictive. I would like to expand it further: 1) Algebraic topology and homological algebra 2) Abelian categories 3) Algebraic geometry and topos theory 4) General cartesian algebra 5) Categorical logic 6) Homotopical algebra 7) Elementary topos theory and set theory 8) Monoidal categories and enriched category theory 9) General tensor algebra and coalgebra 10) Category theory and computer science 11) Quantum field theory 12) Higher categories and homotopy theory Algebraic theories and limit sketches are included in (4). Multicategories, operads are included in (9). I have included Quillen homotopical algebra in (6). Best, André -------- Message d'origine-------- De: categories@mta.ca de la part de Joyal, André Date: dim. 20/12/2009 12:50 À: John Baez; categories@mta.ca Objet : categories: Re: A well kept secret? John Baez wrote:
They fought to convince the world that category theory was worthwhile. Some feel they lost that fight. We came along later and are a bit puzzled by that attitude: if you look around at the landscape of mathematics today, categories are everywhere! From Grothendieck to Voevodsky to Lurie, etc., much of the most exciting mathematics of our era would be inconceivable without categories.
Like most fields of mathematics, category theory keeps growing and evolving. It may be hard to identify the mechanism of this evolution but fashion must be playing a role. But why are certain subjects becoming hot at a given time? Probably because they resonate with new developments outside category theory. When a trend becomes hot, it gives rise to a permanent current. I was able to distinguish approximatly 6 major currents: 1) Algebraic topology and homological algebra 2) Abelian categories 3) Algebraic Geometry and topos theory 4) Logic and elementary topos theory 5) Category theory and computer science 6) Higher categories with homotopy theory Here is an example of a recent applications of category theory to geometry: "Associahedral categories, particles and Morse functor" by Jean-Yves Welschinger http://arxiv.org/abs/0906.4712 The n-category caffé is an extraordinary experiment in research collaboration and dissimination of knowledge. It maybe the way of the future. But an old mathematicians like me find it difficult to adapt to this new form of collaboration.
The only real question is whether our current civilization, based on burning carbon, tearing up forests, and destroying oceans, lasts long enough to see this change.
Yep! And we should not remain passive. Best, AJ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]