Traced monoidal categories A Joyal, R Street, D Verity
Mathematical proceedings of the cambridge philosophical society 119 (3), 447-468, 1996
626 1996 Elements of?-Category Theory E Riehl, D Verity
Cambridge University Press, 2022
229 2022 Homotopy coherent adjunctions and the formal theory of monads E Riehl, D Verity
Advances in Mathematics 286, 802-888, 2016
131 2016 Enriched categories, internal categories and change of base D Verity
University of Cambridge, 1992
131 1992 Weak complicial sets I. Basic homotopy theory DRB Verity
Advances in Mathematics 219 (4), 1081-1149, 2008
120 2008 The theory and practice of Reedy categories E Riehl, D Verity
arXiv preprint arXiv:1304.6871, 2013
97 2013 The 2-category theory of quasi-categories E Riehl, D Verity
Advances in Mathematics 280, 549-642, 2015
94 2015 Complicial Sets Characterising the Simplicial Nerves of Strict D Verity
American Mathematical Soc., 2008
91 2008 Fibrations and Yoneda's lemma in an∞-cosmos E Riehl, D Verity
Journal of Pure and Applied Algebra 221 (3), 499-564, 2017
78 2017 Weak complicial sets II-nerves of complicial Gray-categories D Verity
Contemporary mathematics 431, 441-467, 2007
44 2007 Modulated bicategories A Carboni, S Johnson, R Street, D Verity
Journal of Pure and Applied Algebra 94 (3), 229-282, 1994
44 1994 Low-dimensional topology and higher-order categories R Street, D Verity
Proceedings of CT95, Halifax, 1995
42 1995 The comprehensive factorization and torsors R Street, D Verity
Theory Appl. Categ 23 (3), 42-75, 2010
33 2010 Kan extensions and the calculus of modules for∞–categories E Riehl, D Verity
Algebraic & Geometric Topology 17 (1), 189-271, 2017
32 2017 Infinity category theory from scratch E Riehl, D Verity
arXiv preprint arXiv:1608.05314, 2016
31 2016 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
30 1998 The comprehension construction E Riehl, D Verity
arXiv preprint arXiv:1706.10023, 2017
25 2017 Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions E Riehl, D Verity
arXiv preprint arXiv:1401.6247, 2014
25 2014 A Pattern Enforcing Compiler (PEC) for Java: Using the Compiler. HC Lovatt, AM Sloane, DR Verity
Conferences in Research and Practice in Information Technology Series 107, 69-78, 2005
24 2005 Elements of∞-category theory. 2021 E Riehl, D Verity
Camb Stud. Adv. Math 194, 2021
22 2021 
Emily RiehlJohns Hopkins UniversityAdresse e-mail validée de jhu.edu
