Follow
Dominic Verity
Dominic Verity
Professor, Centre of Australian Category Theory, Macquarie University
Verified email at mq.edu.au
Title
Cited by
Cited by
Year
Traced monoidal categories
A Joyal, R Street, D Verity
Mathematical proceedings of the cambridge philosophical society 119 (3), 447-468, 1996
6011996
Elements of?-Category Theory
E Riehl, D Verity
Cambridge University Press, 2022
1732022
Enriched categories, internal categories and change of base
D Verity
University of Cambridge, 1992
1131992
Homotopy coherent adjunctions and the formal theory of monads
E Riehl, D Verity
Advances in Mathematics 286, 802-888, 2016
1112016
Weak complicial sets I. Basic homotopy theory
DRB Verity
Advances in Mathematics 219 (4), 1081-1149, 2008
1052008
The theory and practice of Reedy categories
E Riehl, D Verity
arXiv preprint arXiv:1304.6871, 2013
892013
Complicial Sets Characterising the Simplicial Nerves of Strict -Categories
D Verity
American Mathematical Soc., 2008
842008
The 2-category theory of quasi-categories
E Riehl, D Verity
Advances in Mathematics 280, 549-642, 2015
802015
Fibrations and Yoneda's lemma in an∞-cosmos
E Riehl, D Verity
Journal of Pure and Applied Algebra 221 (3), 499-564, 2017
732017
Weak complicial sets II-nerves of complicial Gray-categories
D Verity
Contemporary mathematics 431, 441-467, 2007
432007
Low-dimensional topology and higher-order categories
R Street, D Verity
Proceedings of CT95, Halifax, 1995
411995
Modulated bicategories
A Carboni, S Johnson, R Street, D Verity
Journal of Pure and Applied Algebra 94 (3), 229-282, 1994
381994
A 2-categorical approach to change of base and geometric morphisms II
A Carboni, GM Kelly, D Verity, RJ Wood
Theory and Applications of Categories 4 (5), 82-136, 1998
291998
Kan extensions and the calculus of modules for∞–categories
E Riehl, D Verity
Algebraic & Geometric Topology 17 (1), 189-271, 2017
282017
The comprehensive factorization and torsors
R Street, D Verity
Theory Appl. Categ 23, 42-75, 2010
282010
Infinity category theory from scratch
E Riehl, D Verity
arXiv preprint arXiv:1608.05314, 2016
272016
Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
E Riehl, D Verity
arXiv preprint arXiv:1401.6247, 2014
232014
A pattern enforcing compiler (PEC) for Java: using the compiler
HC Lovatt, AM Sloane, DR Verity
Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling …, 2005
232005
Elements of∞-category theory. 2021
E Riehl, D Verity
Camb Stud. Adv. Math 194, 2021
222021
The comprehension construction
E Riehl, D Verity
arXiv preprint arXiv:1706.10023, 2017
222017
The system can't perform the operation now. Try again later.
Articles 1–20