nLab Dominic Verity

Dominic Verity is a British category theorist, based in Australia. He is an Emeritus Professor at Macquarie University.

He 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 ( , 1 ) (\infty, 1) -category theory seen through their homotopy 2-category, and using the concept of ∞-cosmoi to capture common structure of different presentations of (,1)(\infty, 1)-categories.

Selected writings

On enriched category theory and internal categories:

  • Enriched categories, internal categories and change of base Ph.D. thesis, Cambridge University (1992), reprinted as Reprints in Theory and Applications of Categories, No. 20 (2011) pp 1-266 (TAC)

Introducing the notion of traced monoidal categories:

On weak complicial sets:

  • D. R. Verity, 2005, Complicial Sets , available from : arXiv:math.CT/0410412.

  • D. Verity, 2006, Weak complicial sets I: basic homotopy theory , available from : arXiv:math/0604414.

  • D. R. Verity, 2006, Weak complicial sets. III. Enriched and internal quasi-category theory , (in preparation).

  • D. R. Verity, 2007, Weak complicial sets. II. Nerves of complicial Gray-categories , in Categories in algebra, geometry and mathematical physics , volume 431 of Contemp. Math., 441–467, Amer. Math. Soc., Providence, RI.

On comprehensive factorization systems and torsors:

On (∞,1)-category theory via the homotopy 2-category of (∞,1)-categories of ∞-cosmoi (formal ( , 1 ) (\infty,1) -category theory):

On (∞,1)-functors and (∞,1)-monads:

On Reedy model structures via weighted colimits:

On the Yoneda lemma for (∞,1)-categories:

category: people

Last revised on September 15, 2023 at 15:51:51. See the history of this page for a list of all contributions to it.