Christoph Dorn


Hi! I am a mathematician and computer scientist working in higher category theory. I'm currently based at Oxford University.

Academic Information

Research overview

In short, my work focuses on combinatorial models of higher categories. Higher categories are a generalisation of spaces, adding a notion of “direction” to the latter: While in a space any path can be travelled along in two directions, in higher categories this need not be the case. This is relevant for the description of irreversible processes. In my PhD thesis I build a fully algebraic and computer implementable model of higher categories by observing that higher categories can be locally described by certain stratified manifolds. Higher categories can also be a foundation for all of mathematics. In future research I would like to follow this line of thought further, ultimately arriving at a foundational framework (or “type theory”) for working with higher categories. I hope that this has interesting applications to Algebraic Topology, and provides a “more computational” alternative to homotopy type theory (a recent and successful type theory which has connections to undirected spaces).

PhD thesis

Unpublished and expository writing

Recent Talks