The first time back in St. Mawes since the beginning of the pandemic. A magical place. It has been wonderful to look out over the harbour even on wetter, greyer days: a delight from early morning to the very end of the day. And we have walked and walked hereabouts. Cobwebs blown away. For a couple of weeks, the dire mess of the wider world seems particularly far away.
Soon, it‘s back to Cambridge, to category theory (I’m promising a much better chapter on equalizers/co-equalizers), some musings on a philosophical view from Terence Tao, some potshots at a recent rather dreadful intro book on formal logic. But just for now, logic can look after itself. The sun is going down over Roseland. Calm sea. Peace.