I am a post-doc in the Compositionality Group at Tallinn University of Technology.
My research interests lie broadly in applications of category theory to computer science.
This website is a forest, and contains some of my notes on various topics. Press Ctrl+K
or to navigate.
matt@earnshaw.org.uk