Categorically, better late than never

So, at last, here is a full draft of Introducing Category Theory. All 49 chapters and 477 pages. I really didn’t set out to go on at such length. Honestly …

In this latest version 2.7, Chapters 45–48 are very significantly improved. But the final Chapter 49 is a bit feeble really, and maybe will get beefed up in a final version 2.8. However to write something really significantly better would extend the book to well over 500 pages, and take me more energy that I could probably bring to the task. So this chapter gesturing towards ETCS will probably remain little more than an incitement to read some of the likes of Michael Shulman’s terrific paper “Comparing material and structural set theories” (available on the arXiv here).

So what now? Apart from tinkering with that final chapter, I’ll need to proof read the whole thing, and also make sure that I take a reasonably consistent line on matters of “size”. I also want to add a short section on pre-sheaf categories. But at least I have a full draft to work from. All comments still very gratefully received, of course!

The post Categorically, better late than never appeared first on Logic Matters.