Traced monoidal categories A Joyal, R Street, D Verity Mathematical proceedings of the cambridge philosophical society 119 (3), 447-468, 1996 | 618 | 1996 |

Elements of?-Category Theory E Riehl, D Verity Cambridge University Press, 2022 | 205 | 2022 |

Homotopy coherent adjunctions and the formal theory of monads E Riehl, D Verity Advances in Mathematics 286, 802-888, 2016 | 120 | 2016 |

Enriched categories, internal categories and change of base D Verity University of Cambridge, 1992 | 120 | 1992 |

Weak complicial sets I. Basic homotopy theory DRB Verity Advances in Mathematics 219 (4), 1081-1149, 2008 | 110 | 2008 |

The theory and practice of Reedy categories E Riehl, D Verity arXiv preprint arXiv:1304.6871, 2013 | 90 | 2013 |

The 2-category theory of quasi-categories E Riehl, D Verity Advances in Mathematics 280, 549-642, 2015 | 87 | 2015 |

Complicial Sets Characterising the Simplicial Nerves of Strict -Categories D Verity American Mathematical Soc., 2008 | 87 | 2008 |

Fibrations and Yoneda's lemma in an∞-cosmos E Riehl, D Verity Journal of Pure and Applied Algebra 221 (3), 499-564, 2017 | 76 | 2017 |

Weak complicial sets II-nerves of complicial Gray-categories D Verity Contemporary mathematics 431, 441-467, 2007 | 43 | 2007 |

Modulated bicategories A Carboni, S Johnson, R Street, D Verity Journal of Pure and Applied Algebra 94 (3), 229-282, 1994 | 43 | 1994 |

Low-dimensional topology and higher-order categories R Street, D Verity Proceedings of CT95, Halifax, 1995 | 41 | 1995 |

The comprehensive factorization and torsors R Street, D Verity Theory Appl. Categ 23 (3), 42-75, 2010 | 30 | 2010 |

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 |

Kan extensions and the calculus of modules for∞–categories E Riehl, D Verity Algebraic & Geometric Topology 17 (1), 189-271, 2017 | 29 | 2017 |

Infinity category theory from scratch E Riehl, D Verity arXiv preprint arXiv:1608.05314, 2016 | 27 | 2016 |

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 Conferences in Research and Practice in Information Technology Series 107, 69-78, 2005 | 23 | 2005 |

Elements of∞-category theory. 2021 E Riehl, D Verity Camb Stud. Adv. Math 194, 2021 | 22 | 2021 |