For ordinary categories there is the notion of
Grothendieck fibration between two categories.
and the special case of a fibration fibered in groupoids.
The analog of this for quasi-categories are
the special case of left/right (Kan-) fibrations of quasi-categories,
A morphism of simplicial sets is a left fibration or left Kan fibration if it has the right lifting property with respect to all horn inclusions except possibly the right outer ones: .
It is a right fibration or right Kan fibration if its extends against all horns except possibly the left outer ones: .
So is a left fibration precisely if for all commuting squares
for and , a diagonal lift exists as indicated.
Morphisms with the left lifting property against all left/right fibrations are called left/right anodyne maps.
for the full SSet-subcategory of the overcategory of sSet over on those morphisms that are right fibrations.
This is a Kan complex-enriched category and as such an incarnation of the (∞,1)-category of right fibrations. It is modeled by the model structure for right fibrations. For details on this see the discussion at (∞,1)-Grothendieck construction.
Motivation: ordinary fibrations in groupoids are right Kan fibrations
Ordinary categories fibered in groupoids have a simple characterization in terms of their nerves. Let be the nerve functor and for a morphism in Cat (a functor), let be the corresponding morphism in sSet.
The functor is an fibration in groupoids precisely if the morphism is a right Kan fibration of simplicial sets
To see this, first notice the following facts:
For a category, the nerve is 2-coskeletal. In particular all -spheres for have unique fillers
and (implied by that) all -horns for have fillers
This is discussed at nerve.
If is an ordinary functor, then is an inner fibration, meaning that its has the right lifting property with respect to all inner horn inclusions for .
This is discussed at inner fibration.
Proof of the proposition
From the above lemmas it follows that is a right fibration already precisely if it has the right lifting property with respect only to the three horn inclusions
So we check explicitly what these three conditions amount to
– The existence of all fillers
means that for all objects and morphism in , there exists a morphism in such that .
– The existence of fillers
means that for all diagrams
in and commuting triangles
in , there is a commuting triangle
in , such that .
Consider first the case of degenrate 3-simplices on , on 2-simplices as above.
Suppose in the above situation two lifts and are found. Together these yield a -horn in . The filler condition says this can be filled, which implies that .
So the -condition implies that the lift whose existence is guaranteed by the -condition is unique.
By similar reasoning one sees that this is all the -condition yields.
In total, these three lifting conditions are precisely those for a Grothendieck fibration in groupoids.
Homotopy lifting property
In classical homotopy theory, a continuous map of topological spaces is said to have the homotopy lifting property if it has the right lifting property with respect to all morphisms for the standard interval and every commuting diagram
there exists a lift making the two triangles
commute. For the point this can be rephrased as saying that the universal morphism induced by the commuting square
is an epimorphism. If it is even an isomorphism then the lift exists uniquely . This is the situation that the following proposition generalizes:
A morphism of simplicial sets is a left fibration precisely if the canonical morphism
is a trivial Kan fibration.
As fibrations in -groupoids
The notion of right fibration of quasi-categories generalizes the notion of category fibered in groupoids. This follows from the following properties.
As an important special case of this we have
Right (left) fibrations are preserved by pullback in sSet.
It follows that the fiber of every right fibration over every point , i.e. the pullback
is a Kan complex.
For and quasi-categories that are ordinary categories (i.e. simplicial sets that are nerves of ordinary categories), a morphism is a right fibration precisely if the correspunding ordinary functor exhibits as a category fibered in groupoids over .
A canonical class of examples of a fibered category is the codomain fibration. This is actually a bifibration. For an ordinary category, a bifiber of this is just a set. For an -category it is an -groupoid. Hence fixing only one fiber of the bifibration should yield a fibration in -groupoids. This is asserted by the following statement.
Let be an arbitrary morphism to a quasi-category and let be the corresponding under quasi-category. Then the canonical propjection is a left fibration.
Due to Andre Joyal. Recalled as HTT, prop 220.127.116.11.
(Left/)Right anodyne morphisms
The collection of left anodyne morphisms (those with left lifting property against left fibrations) is equivalently for the following choices of :
- the collection of all left horn inclusions
the collection of all inclusions of the form
the collection of all inclusions of the form
for all inclusions of simplicial sets .
This is due to Andre Joyal, recalled as HTT, prop 18.104.22.168.
For left-anodyne and a cofibration in the model structure for quasi-categories, the canonical morphism
This appears as HTT, cor. 22.214.171.124.
For a left fibration and a cofibration of simplicial sets, the canonical morphism
is a left fibration. If is furthermore left anodyne, then it is an acyclic Kan fibration.
This appears as HTT, cor. 126.96.36.199.
For and two inclusions of simplicial sets with left anodyne, we have that the canonical morphism
into the join of simplicial sets is left anodyne.
This is due to Andre Joyal. It appears as HTT, lemma 188.8.131.52.
(restriction of over-quasi-categories along left anodyne inclusions)
Let be a morphism of simplicial sets and a left anodyne morphism, then the restriction morphism of under quasi-categories
is an acyclic Kan fibration.
This is a special case of what appears as HTT, prop. 184.108.40.206, which is originally due to Andre Joyal.
Let be a morphism of simplicial sets with section . If there is a fiberwise simplicial homotopy from to then is left anodyne.
This appears as HTT, prop. 220.127.116.11.