As an introduction, I'm a theoretical computer scientist based at the University of Nottingham, and a former industry programmer. I'm interested in category theory, logic and the foundations of computer science. My blog on the theory of monads can be found here: stringdiagram.com/blog/