Categorial progress …

Slowly, very slowly, …

I would be really annoyed to paperback Introducing Category Theory and then immediately find silly typos or thinkos. So (as I’ve reported before) I have been getting ChatGPT and Claude Sonnet to proofread chapter by chapter. This is a pretty tedious and surprisingly time-consuming business. However, they are finding enough plain typos to make the exercise worthwhile. And — rather impressively — they are also catching some thinkos too. There is little overlap between the feedback from my friendly AI assistants, so it is worth using both. And although the prompts I use ask for reports of definite mistakes, I also get back a lot of more stylistic comments, a sprinkling of which are also well worth taking note of.

As I carefully go through, not so surprisingly, I also find other infelicities, or slight mismatches between what I say three hundred pages apart, and so on. So there is still more work to be done. And I need to expand the second Interlude (to say just something about the emerging picture of category theory) and slightly expand the final chapter on ETCS. But, famous last words, the end is in sight.

I have already made more than enough corrections and improvements to the April version to make it worth uploading another interim version: so here it is. Last minute comments and corrections still very much appreciated. (If you do download the PDF, check the verso of the title page. You should get Version 2.7f. Clear your browser cache if an older version appears!)

And The View of Delft? Stunning, no? By itself, worth the trip to The Hague, and now for a while my desktop picture. Click on the image for a larger reproduction …

The post Categorial progress … appeared first on Logic Matters.