I’m a graduate student at the University of Calgary, my supervisor is Robin Cockett. I’m interested in Category Theory and its applications.

Research

I study the categorical semantics of differential geometry using Tangent Categories, I have two ongoing projects with Robin Cockett and Jonathan Gallagher.

Higher Differential Geometry: I'm looking at differentiable stacks with Jonathan Gallagher,
and the integration of Lie algebroids with Matthew Burke.

Dependent Linear Logic and Differential Geometry: Studying fibered monoidal categories and their applications in differential geometry. Some slides can be found here

Abstract Secant Structure: The relationship between two models of abstract differentiation, Fermat theories
and Cartesian Differential Categories.

Teaching

In Winter I will be teaching CPSC313 - all the material may be found on D2L and gradescope.

The Peripatetic Seminar

I’m a participant and regular presentation at the Peripatetic seminar at the University of Calgary.

In the 2018-2019 academic year I helped organized a series on differentiable stacks, talks will be posted
(slowly) here.