Hi Ronnie,
....Our first draft of topics would be:
1. General category theory, including motivation 2. Abelian categories and homological algebra 3. Categories and groupoids in homotopical algebra and algebraic topology 4. Topos theory 5. Monoidal, enriched, and higher-dimensional categories 6. Categorical algebra 7. Categorical topology 8. Categorical logic and foundation of mathematics 10. Categories in algebraic geometry 11. Categories in computer science 12. Categories in Physics
a good candidate for what your 12., combined with 11., 8. and a bit of 5. might look like is Baez and Stay's 'Rosetta stone' paper, see: http://golem.ph.utexas.edu/category/2008/03/physics_topology_logic_and_com.h... Clearly this is only a tiny slice of the category theory cake, and perhaps again a biased one, but at least it contains facts, and references. Best of luck with this project, I look forward to contributing in what small way I can. David ------------------------------ David Roberts david.roberts@adelaide.edu.au University of Adelaide [For admin and other information see: http://www.mta.ca/~cat-dist/ ]