A short post about a major update.
The two Parts of my notes on category theory are now two separate PDFs, and all the chapters in Part I have now been revised (with the last chapters significantly rewritten since the last update). So here they are!
- Category Theory I: Notes towards a gentle introduction.
- Category Theory II: More notes towards a gentle introduction.
Part I is still very much work in progress, but there are more than enough major improvements since the last version to make it worthwhile to post this update. I think the structure of Part I, the overall order in which topics are tackled, should remain stable from now on: but I’ll certainly want to return to improve the treatment of some of those topics. So all comments on the current version will be immensely useful.