mathematician // programmer Research + Wiring diagrams as normal forms for computing in symmetric monoidal categories + Algebras of open dynamical systems on the operad of wiring diagrams Programming + A modern monoidal categories and functors library for Haskell Writing A few years ago, I created and gave a category theory course. Here are the lecture notes and problem sets. + Assignment 1 + Assignment 2 + Assignment 3 + Assignment 4 Talks + Wiring diagrams as normal forms for computing in symmetric monoidal categories + Introduction to diagrammatics for functional programmers + Introduction to diagrammatic algebra + Introduction to categorification + Higher dimensional algebra in topology