To avoid readers having to juggle two PDFs, and to keep at least some cross-references between new and old material functioning, I have decided to put the newly revised chapters together with the old unrevised chapters from the Gentle Intro into one long document. So here is Beginning Category Theory which starts with eleven revised chapters, followed by all the remaining old chapters [with prominent headline warnings about their unrevised status].
The two newly revised chapters are
- Pairs and products, pre-categorially [Motivational background]
- Categorial products introduced [Definitions, examples, and coproducts too]
Note: these early revised chapters are not final versions. Revised chapters get incorporated when I think that they are at least better than what they replace, not when I think they are as good as they could be. So, needless to say, all comments and corrections will be very gratefully received. Onwards!