Downloads

Slides

• Coresources 2023 slides.
• Workshop on Springer Volume “Samson Abramsky on Logic and Structure in Computer Science and Beyond”, 2023, slides.
• CATNIP, December 2023, slides
• MGS Christmas Seminar 2023, slides
• Leeds Logic Seminar 2024, slides

Diagram Drawing Guide

Instructions for drawing string diagrams in the style of my joint work with Ralf Hinze. (Upgraded November 12th 2023).

Draft Papers

• The graphical theory of monads, version 1.0, jointly with Ralf Hinze, original version.
• The graphical theory of monads, version 2.0, jointly with Ralf Hinze, significantly revised version with many improvements.