Dear all, May I point at another current activity:
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
13) Category theory in quantum information & quantum foundations While only a quite recent activity, in funding terms this may currently be the 2nd most funded category-theory related area after Category Theory in Computer Science, with, for example, dedicated large EU grants, US Office of Naval Research support, and many others. Also, this summer two researchers in the area obtained permanent positions in France, and here in Oxford we hired a 3rd faculty member in the area. While money and science quality are obviously not always that related to each other, funding is an essential component for sustaining a research activity, enabeling jobs for postdocs in the area, etc. Best wishes, Bob. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]