Dominic Verity

Dominic Verity is a British higher category theorist, based in Australia. He is an Emeritus Professor at Macquarie University. Verity has worked on the theory of complicial sets and their weak analogues, which followed up on ideas of John Roberts on cohomology and, effectively, omega-category theory. More recently he has worked with Emily Riehl on foundations of -category theory seen through their homotopy 2-category, and using the concept of ∞-cosmoi to capture common structure of different...