Traced monoidal categories A Joyal, R Street, D Verity
Mathematical proceedings of the cambridge philosophical society 119 (3), 447-468, 1996
604 1996 Elements of?-Category Theory E Riehl, D Verity
Cambridge University Press, 2022
178 2022 Enriched categories, internal categories and change of base D Verity
University of Cambridge, 1992
116 1992 Homotopy coherent adjunctions and the formal theory of monads E Riehl, D Verity
Advances in Mathematics 286, 802-888, 2016
114 2016 Weak complicial sets I. Basic homotopy theory DRB Verity
Advances in Mathematics 219 (4), 1081-1149, 2008
108 2008 The theory and practice of Reedy categories E Riehl, D Verity
arXiv preprint arXiv:1304.6871, 2013
89 2013 Complicial Sets Characterising the Simplicial Nerves of Strict -Categories D Verity
American Mathematical Soc., 2008
85 2008 The 2-category theory of quasi-categories E Riehl, D Verity
Advances in Mathematics 280, 549-642, 2015
80 2015 Fibrations and Yoneda's lemma in an∞-cosmos E Riehl, D Verity
Journal of Pure and Applied Algebra 221 (3), 499-564, 2017
73 2017 Weak complicial sets II-nerves of complicial Gray-categories D Verity
Contemporary mathematics 431, 441-467, 2007
43 2007 Low-dimensional topology and higher-order categories R Street, D Verity
Proceedings of CT95, Halifax, 1995
41 1995 Modulated bicategories A Carboni, S Johnson, R Street, D Verity
Journal of Pure and Applied Algebra 94 (3), 229-282, 1994
38 1994 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
29 1998 Kan extensions and the calculus of modules for∞–categories E Riehl, D Verity
Algebraic & Geometric Topology 17 (1), 189-271, 2017
28 2017 Infinity category theory from scratch E Riehl, D Verity
arXiv preprint arXiv:1608.05314, 2016
28 2016 The comprehensive factorization and torsors R Street, D Verity
Theory Appl. Categ 23, 42-75, 2010
28 2010 The comprehension construction E Riehl, D Verity
arXiv preprint arXiv:1706.10023, 2017
24 2017 Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions E Riehl, D Verity
arXiv preprint arXiv:1401.6247, 2014
23 2014 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
23 2005 Elements of∞-category theory. 2021 E Riehl, D Verity
Camb Stud. Adv. Math 194, 2021
22 2021