Category Theorist
I am a lecturer in the Mathematics Department at Norwich University. I am also a lecturer part-time in the Mathematics Department at the University of Massachusetts-Boston. In the summer of 2022, I was a Topos Institute Research Associate working under Evan Patterson. In 2021-22 I was a research postdoc in the Department of Mathematics and Computer Science at Mount Allison University under Geoff Cruttwell.
My research is in higher category theory, specifically, double categories and their applications. I am also interested in 2-categories, toposes, and modal logic.
Here is my full CV.
Representing Knowledge and Querying Data using Double-Functorial Semantics, with Evan Patterson, EPTCS 429: Proceedings Seventh International Conference on Applied Category Theory 2024, September, 2025.
Discrete 2-Fibrations, in Higher Structures, November, 2024.
Cartesian double theories: A double-categorical framework for categorical doctrines with Evan Patterson, Advances in Mathematics, 444, May 2024.
Double Fibrations, with Geoff Cruttwell, Dorette Pronk, and Martin Szyld Theory and Applications of Categories, 2022.
Double Categories of Relations, Theory and Applications of Categories, 2022.
Discrete Double Fibrations, Theory and Applications of Categories, 2021.
Data Operations are Functorial Semantics, Topos Institute Blog, September 2022
A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime, preprint, 2024. Submitted to Applied Categorical Structures.
A cartesian equipment bestiary FMCS, June 2023
Double Categories of Relations Virtual Double Categories Workshop, December 2022
Cartesian Equipments as Databases AtCat Seminar, October 2022
Blockchain Safety in a Topos Ottawa Logic Seminar, December 2021
Discrete Double Fibrations CT20->21, September 2021
Characterizing Double Categories of Relations ACT 2021, July 2021