25 citations · 68 across the 12 of their papers we have counts for
15 papers
Cartesian exponentiation and monadicity
Emily Riehl, Dominic Verity
An important result in quasi-category theory due to Lurie is the that cocartesian fibrations are exponentiable, in the sense that pullback along a cocartesian fibration admits a ri…
Gray tensor product and saturated -complicial sets
Viktoriya Ozornova, Martina Rovelli, Dominic Verity
We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated -complicial sets (which are a proposed model…
On the construction of limits and colimits in -categories
Emily Riehl, Dominic Verity
In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we estab…
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
Emily Riehl, Dominic Verity
In this paper we prove that various quasi-categories whose objects are -categories in a very general sense are complete: admitting limits indexed by all simplicial sets. Th…
The comprehension construction
Emily Riehl, Dominic Verity
In this paper we construct an analogue of Lurie's "unstraightening" construction that we refer to as the "comprehension construction". Its input is a cocartesian fibration $p \colo…
Infinity category theory from scratch
Emily Riehl, Dominic Verity
We use the terms "-categories" and "-functors" to mean the objects and morphisms in an "-cosmos." Quasi-categories, Segal categories, complete Segal spaces,…