More Category Theory

Seems like MarkCC of the Good Math, Bad Math blog is starting a series on category theory (I guess leading to a discussion on topoi by one of the articles: Leading up to Topoi: Getting Back to Categories ).

I'm a bit worried that he'll end up taking the same route as many others, et: here's a defintion of a Category, then defintions of Set, Poset, Grp and leaving it at an abstract discussion like many others. Now if he starts with things such as the "category of stacks" and a functor the "category of integers" we might have something really interesting.

Lawvere and Schanuels's Conceptual Mathematics meets Steve Easterbrook* comes to mind...or even this from an earlier blog post of mine...


Maybe I should follow the crowd and write my own tutorial...

*the reference for Prof Easterbrook's presentation is: Easterbrook S (1998). An introduction to category theory for software engineers. Tutorial given at ASE'98.