| 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 | 96 | 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 -Categories 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 |
| Kan extensions and the calculus of modules for∞–categories E Riehl, D Verity Algebraic & Geometric Topology 17 (1), 189-271, 2017 | 32 | 2017 |
| The comprehensive factorization and torsors R Street, D Verity Theory Appl. Categ 23 (3), 42-75, 2010 | 32 | 2010 |
| 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 UniversityVerified email at jhu.edu
