Dom Verity Life, the Universe, and Higher Categories


"I have the audacity to believe that peoples everywhere can have three meals a day for their bodies, education and culture for their minds, and dignity, equality, and freedom for their spirits." - Dr. Martin Luther King Jr., Norway 1964

Dom Verity is a Research Mathematician whose side hustles include Programming, Electronics, (incredibly bad) Drumming, and University Governance.

Book cover image 'Elements of ∞-category theory'

His research interests lie in the mathematical fields of Homotopy Theory, sometimes known as “rubber sheet geometry,” and Category Theory, a kind of “theory of everything” for pure mathematics. He is also active in exploring applications of this work to the Computer Science of Programming Languages. His most cited paper introduced Traced Monoidal Categories, structures that have become a key component in modern accounts of iterative processes in traditional and quantum computation.

His closest mathematical collaborator is Emily Riehl (Johns Hopkins), and together they are responsible for developing and popularising model independent and synthetic approaches to (∞,1)-category theory.


Recent blogposts

Browse by tag: