equivalences in/of $(\infty,1)$-categories
The relative version of the notion of (∞,1)-limit.
For $f \colon \mathcal{C} \to \mathcal{D}$ an (∞,1)-functor between (∞,1)-categories which is presented by an inner fibration of quasi-categories (which we denote by the same symbols), and for
a cocone diagram in $\mathcal{C}$ over the $K$-shaped diagram
then $\overline{p}$ is an $(\infty,1)$-colimiting cocone if the canonical map
(from the co-slice quasi-category) is an acyclic Kan fibration of simplicial sets.
Created on June 11, 2013 at 12:00:34. See the history of this page for a list of all contributions to it.