Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
The relative version of the notion of (∞,1)-limit.
For 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 over the -shaped diagram
then is an -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.