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