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.
Dan Marsden
@stringdiagram.bsky.social
223 followers 101 following 13 posts
Categories, computer science and logic. Also: @stringdiagram@mathstodon.xyz Website: stringdiagram.com
