Category Theory

Category theory is a branch of pure mathematics and although the work described here is basic research it is very application driven. The application areas include homotopy theory, computer science, universal algebra and coherence theorems.

for general information there is a category theory page on the web which includes information about conferences, web sites, the category theory bulletin board, and the electronic journal Theory and Applications of Categories. If you wish to write category theory you will need to be able to produce reasonably sophisticated diagrams and will probably want to look at the XY-Pic macros for use with LaTeX.

If you would like to know more about my own work here is a brief discussion of n-categories and pasting, and some publications.