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 presentations of -categories.
On enriched category theory and internal categories:
Introducing the notion of traced monoidal categories:
On (weak) complicial sets:
Dominic Verity, Complicial Sets Characterising the Simplicial Nerves of Strict -Categories, Memoirs of the AMS, 193 905 (2008) [arXiv:math/0410412, ams:memo-193-905]
Dominic Verity: Weak complicial sets I: Basic homotopy theory, Advances in Mathematics 219 4 (2008) 1081-1149 [arXiv:math/0604414, doi:10.1016/j.aim.2008.06.003]
Dominic Verity: Weak complicial sets. II. Nerves of complicial Gray-categories, in: Categories in Algebra, Geometry and Mathematical Physics, Contemporary Mathematics 431, Amer. Math. Soc. (2007) 441-467 [doi:10.1090/conm/431]
Dominic Verity: Weak complicial sets and internal quasi-categories, talk at Category Theory 2007 [pdf, pdf]
On comprehensive factorization systems and torsors:
On (∞,1)-category theory via the homotopy 2-category of (∞,1)-categories of ∞-cosmoi (formal -category theory):
Emily Riehl, Dominic Verity, The 2-category theory of quasi-categories, Advances in Mathematics Volume 280, 6 August 2015, Pages 549-642 (arXiv:1306.5144, doi:10.1016/j.aim.2015.04.021)
Emily Riehl, Dominic Verity, Infinity category theory from scratch, Higher Structures Vol 4, No 1 (2020) (arXiv:1608.05314, pdf)
Emily Riehl, Dominic Verity, Elements of ∞-Category Theory, Cambridge studies in advanced mathematics 194, Cambridge University Press (2022) doi:10.1017/9781108936880, ISBN:978-1-108-83798-9, pdf
On (∞,1)-functors and (∞,1)-monads:
On Reedy model structures via weighted colimits:
On the Yoneda lemma for (∞,1)-categories:
Last revised on August 30, 2025 at 08:00:46. See the history of this page for a list of all contributions to it.