(infinity,1)-category of cartesian sections
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 22.214.171.124 of
the collection of cartesian sections of appears as .
Revised on October 4, 2015 11:28:49