Back to book writing AKA drawing lots of colourful pictures. This time a proof step relating to the codensity monad transformer, using some new notational tricks and a somewhat angular style.

After finding I'd forgotten a lot of useful stuff, I've finally treated myself to @chrisheunen.bsky.social and Jamie Vicary's excellent book. Great to have so much good stuff in one place, even if that isn't my memory!