User:Lord Farin/Long-Term Projects/Awodey

= Processing of 'Measures, Integrals and Martingales' =


 * : $\S 1.3$: Definition $1.1$


 * : $\S 1.3$: Definition $1.1$

First page it covers: Definition:Composite Mapping.

A very accessible though rigid introduction to category theory. Much gentler than 'Categories work'.

Errata are available at http://www.andrew.cmu.edu/user/awodey/CT2errata2010.pdf.

Progress thus far
Initial set-up complete. --Lord_Farin 20:10, 7 August 2012 (UTC)

Up to $\S 1.4.5$; ideally, I would have tools to create commutative diagrams. PC currently away so I can't create them myself either and then upload them as PNG. Even farther away is MathJax support for CDs. May start contributing to MJ on that. --Lord_Farin 21:53, 7 August 2012 (UTC)

Up to $\S 1.4.7$. Prepare for more examples, it goes up to 13. --Lord_Farin 09:45, 8 August 2012 (UTC)