… but very good news for me! CUP have just agreed definitely to publish my Gödel book, having had a very positive “clearance review” from an obviously Very Wise Reader with Impeccable Logical Judgement. It just remains to continue working away improving it here and there, and taking account of the very assorted but very useful comments I’m getting (including from the Very Wise Reader). The next major task: to disassemble the rather rambling Chapter 22 and put it back together as two chapters.
Meanwhile, the project of getting on top of category theory will inevitably have to be put on the back burner for a while.