Hello, and welcome to my website! I am currently a postdoctoral fellow in the Department of Mathematics and Computer Science at Brandon University in Brandon, Manitoba, Canada working with Rory Lucyshyn-Wright. I obtained my PhD in mathematics at the University of Ottawa in October 2020 working with Pieter Hofstra and Philip Scott, and my MSc in Logic and Computation at Carnegie Mellon University in May 2015 working with Steve Awodey. My research interests lie primarily in category theory, algebra, and logic.
Click on the link on the lefthand menu to open my CV (which contains my e-mail address). Also, check out the math memes page to nerd out like a mathematician (more to be added in the future!).
Last updated: October 18, 2021
September 2015 - October 2020
PhD in Mathematics and Statistics, University of Ottawa
Advisors: Pieter Hofstra and Philip Scott
August 2013 - May 2015
MSc in Logic, Computation, and Methodology, Carnegie Mellon University
Advisor: Steve Awodey
September 2009 - April 2013
BA Honours in Philosophy, Queen's University
Publications and Preprints
Locally bounded enriched categories (with Rory Lucyshyn-Wright). Preprint, 2021. Submitted for publication to Theory and Applications of Categories.
Inner automorphisms of presheaves of groups. Preprint, 2021. Submitted for publication to Journal of Pure and Applied Algebra.
Covariant isotropy of Grothendieck toposes. Preprint, 2021. Submitted for publication to Applied Categorical Structures.
Polymorphic automorphisms and the Picard group (with Pieter Hofstra and Philip Scott). 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), N. Koyayashi, Ed. Dagstuhl Publications LIPlcs, Vol. 195, 2021.
Isotropy groups of free racks and quandles. Journal of Algebra and its Applications, 2021.
Isotropy and combination problems. Preprint, 2020.
Locally bounded enriched categories.
Presentations and algebraic colimits of enriched monads (for a subcategory of arities).
Mathematical Congress of the Americas Categories and Topology Session. July 16, 2021. Slides, video.
Polymorphic automorphisms and the Picard group.
6th International Conference on Formal Structures for Computation and Deduction. Buenos Aires, Argentina. July 21, 2021. Slides, video.
Covariant isotropy of Grothendieck toposes.
Isotropy groups of quasi-equational theories.