Category Theorist
I am an associate lecturer in the Mathematics Department at the University of Massachusetts-Boston and also an adjunct instructor in the IST Division at Champlain College. 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.
Discrete 2-Fibrations, accepted in Higher Structures.
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
Monoids and Modules form a Cartesian Equipment
A Topos View of Blockchain Consensus Protocols, preprint, 2021.
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