I am interested in category theoretic modelling of open systems. An introduction to my work can be found on John Baez's blog, my DPhil thesis, or my book An Invitation to Applied Category Theory.

I am an executive editor of Compositionality, and organise the MIT Categories Seminar.

I believe in actively working to improve inclusivity in category theory and mathematics at large.

Programming with Categories

This January Bartosz Milewski, David Spivak and I will be teaching a course at MIT on programming with categories. All welcome!

An Invitation to Applied Category Theory

My book (with David Spivak) is available in print or on the arXiv:

A course based on this book was taught at MIT in January 2019; videos are available here.


Here are some papers I have written:

Selected Talks