My mathematical background is in category theory, which I like to think of as the *mathematics of mathematics*: whereas mathematics looks at the real world, identifies patterns and structures and then studies those patterns and structures, category theory does the same thing for mathematics, relating results in one area of the subject to those in seemingly unrelated areas. I am particularly interested in using category theoretic methods to expose algebraic and combinatorial structures arising in dependent type theory.

**PhD thesis** (2018)**.** *Algebraic Models of Dependent Type Theory*, advised by Steve Awodey.

Some useful category theory resources:

- nLab: a category theory wiki
- math.CT on arXiv: freely available preprints
- Theory and Applications of Categories (TAC): online category theory journal
- Textbooks by Steve Awodey and Emily Riehl
- TheCatsters on YouTube