Let be an (∞,1)-functor of (∞,1)-categories. A cartesian section of is a section that sends all 1-morphisms in to Cartesian morphisms in .
…
If is a Cartesian fibration classified by an (∞,1)-functor then is equivalent to the limit of
See the discussion at limit in a quasi-category for details.
In corollary 3.3.3.2 of
the collection of cartesian sections of appears as .
Here
the simplicial set is the simplicial set underlying the internal hom of marked simplicial sets over (beginning of section 3.1.3);
is the simplicial set with all cells marked (beginning of section 3.1)
and is with precisely all Cartesian morphisms marked (def. 3.1.1.9).
Last revised on October 4, 2015 at 15:28:49. See the history of this page for a list of all contributions to it.