(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 220.127.116.11 of
the collection of cartesian sections of appears as .
Created on August 12, 2009 22:29:22
by Urs Schreiber