User:Lord Farin/Long-Term Projects/Awodey

= Processing of 'Category Theory' =


 * : $\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)

Up to $\S 1.4.13$. --Lord_Farin 22:49, 8 August 2012 (UTC)

Up to $\S 1.6.3$. --Lord_Farin 14:53, 9 August 2012 (UTC)

Up to $\S 1.6.4$. --Lord_Farin 21:42, 9 August 2012 (UTC)

Missing Proofs

 * $\S 1.4.13$ Functor between Monoid Categories
 * Theorem $1.6$ Cayley's Theorem (Category Theory)
 * $\S 1.6.4$ Slice Category of Poset Categories

Skipped thus far (that is, what needs to be done still)

 * $\S 1.4.10$ Category of Proofs (context and reach too vague)
 * $\S 1.4.11$ Category of Programs (idem)
 * Some "forgetful functors" in $\S 1.6$

Other things

 * As soon as commutative diagrams will be supported by MathJax, I will enjoy building a lot of them to illustrate theorems, defs and other randomness.
 * Many duality stuff is implicit in Awodey, explicate it