Well, this is really going at such a cracking pace!

I’ve managed to revise just one more chapter of Category Theory II in the last fortnight.

That’s mostly because I went back and tinkered again with the first four chapters of Part II. And I’m still not super-happy with the fifth chapter, introducing hom-functors. But it is better than it was, and eliminates a foolish mistake or two, so I guess that’s progress.

MathManGlad it’s coming along! Would you ever consider writing something similar for proof theory? I gather there are far fewer satisfactory introductions…

Peter SmithI really don’t know enough about proof theory to be able to write any such book! And there are some recommendations for reasonably satisfactory introductions in Ch. 9 of the

Beginning Mathematical LogicStudy Guide!