Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
The condition that a quasicategory has “no non-trivial cells” above degree (which makes it a particularly strict model of an (n,1)-category) is not invariant under categorical equivalence. Hence there is no intrinsic characterization of the class of the simplicial sets which are “(n+1)-coskeletal” in this sense.
(Warning: in Lurie, Def. 2.3.4.1 such an “(n+1)-coskeletal” quasi-category is called an “-category”, but this is not the intrinsic notion of (n,1)-category.)
However there is such a description of the class of quasi-categories which are equivalent to such -coskeletal quasicategories. To make this more concrete the notion of a minimal inner fibration can be used (a quasi-categorical analog of minimal Kan fibrations, see also at minimal fibration). This is an inner fibration of simplicial sets satisfying a relative homotopy condition and that of a minimal quasi-category .
Every quasi-category is equivalent to a minimal quasi-category.
Let
denote a lifting problem. Then putative solutions of this lifting problem are called homotopic relative over if they are equivalent as objects in the fiber of the map
Equivalently are homotopic relative over if there is a map
such that
and is an equivalence in the -category for every vertex of .
Let be an inner fibration of simplicial sets. is called minimal inner fibration if for every pair of maps which are homotopic relative to over .
An -category is called minimal -category if is minimal.
Let be an -category and let . The the following statements are equivalent:
There exists a minimal model such that is an -coskeletal quasi-category.
There exists a categorical equivalence , where is an -coskeletal quasi-category.
For every pair of objects , the mapping space is -truncated.
Let be a Kan complex. Then is is equivalent to an -coskeletal quasi-category iff it is -truncated.
Section 2.3.3 and section 2.3.4 of
Last revised on November 9, 2022 at 13:11:30. See the history of this page for a list of all contributions to it.