Introducing Category Theory, 2nd edn

I have just put online a draft of all but the last chapter of a second edition of Introducing Category Theory.

I hope to have this completed and paperback-ready in February or March. In the meantime, I have “unpublished” the first edition (so that there won’t be dozens of really annoyed readers who fork out for the first edition this month only to find it superseded in a couple of weeks).

As I noted before, the obvious major change is that the second two parts (on Yoneda/adjunctions etc., and on elementary toposes) now appear in a more conventional order. But there are a lot of minor improvements along the way, as well as corrections of the typos I spotted (though naive induction suggests that I will have still missed a lot — so do let me know about any needed corrections you spot, however small).

So the first task over the next couple of weeks or so is to get things straighter in my head about ETCS so I can get a satisfactory version of the final chapter. Relatedly, if you haven’t seen it, Tom Leinster now has a substantial set of notes online for a lecture course he gave last term on set theory done in a categorial spirit (without mentioning categories). An interesting project indeed: but I’m not yet clear quite what it really teaches us.

The post Introducing Category Theory, 2nd edn appeared first on Logic Matters.