Research, notes, etc.

My area of concentration is category theory, particularly categorical logic. My main current project is investigating the connections between higher-dimensional category theory and Martin-Löf intensional type theory.

Preprints

Talks