25 citations · 68 across the 12 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
math.CT2013
Homotopy coherent adjunctions and the formal theory of monads
Emily Riehl, Dominic Verity
In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we deve…
math.CT2013
The 2-category theory of quasi-categories
Emily Riehl, Dominic Verity
In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-categ…
math.CT2013★ 25 cited
The theory and practice of Reedy categories
Emily Riehl, Dominic Verity
The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory. With no assumed prerequisites beyond a healthy appetite for category theoret…