There have been considerable distractions over the last month, but I hope to get back to a few more logical blog posts this month.
For those interested, there’s now another small update for Category Theory II, in which I bring some considerations of size to the beginning of Part II in a tidier way, and then later I make what I say at different points about (locally) small categories more consistent. I adopt, for reasons explained, an idea in Roy Crole’s Categories for Types that defines e.g. a small category not as have a set of objects but as having objects that are indexed by a set. I’m also a bit clearer about the differences between different ways of defining categories (something that didn’t really affect the discussions in Part I). Slow progress, but this required some actual thought and not just juggling technicalities!