Injective and projective morphisms are morphisms in a category satisfying some lifting property. Often they appear jointly to form weak factorization systems.
Given a category and a class of its morphisms, then any morphism is called
a -injective morphism if it has the right lifting property against elements in ;
a -projective morphism if it has the left lifting property against elements in .
If has a terminal object , then an object for which is a -injective morphism is called a -injective object.
If has an initial object , then an object for which is a -projective morphism is called a -projective object.
Frequently one furthermore says:
a -cofibration is a morphism that has the left lifting property against all -injective morphisms;
a -fibration is a morphism that has the right lifting property against all -projective morphisms.
Let be a category and let be a class of morphisms. Write and , respectively, for the sub-classes of -projective morphisms and of -injective morphisms (the “Quillen negation” of ). Then:
Both classes contain the class of isomorphism of .
Both classes are closed under composition in .
is also closed under transfinite composition.
Both classes are closed under forming retracts in the arrow category .
is closed under forming pushouts of morphisms in (“cobase change”).
is closed under forming pullback of morphisms in (“base change”).
is closed under forming coproducts in .
is closed under forming products in .
We go through each item in turn.
containing isomorphisms
Given a commuting square
with the left morphism an isomorphism, the a lift is given by using the inverse of this isomorphism . Hence in particular there is a lift when and so . The other case is formally dual.
closure under composition
Given a commuting square of the form
consider its pasting decomposition as
Now the bottom commuting square has a lift, by assumption. This yields another pasting decomposition
and now the top commuting square has a lift by assumption. This is now equivalently a lift in the total diagram, showing that has the right lifting property against and is hence in . The case of composing two morphisms in is formally dual. From this the closure of under transfinite composition follows since the latter is given by colimits of sequential composition and successive lifts against the underlying sequence as above constitutes a cocone, whence the extension of the lift to the colimit follows by its universal property.
closure under retracts
Let be the retract of an , i.e. let there be a commuting diagram of the form.
Then for
a commuting square, it is equivalent to its pasting composite with that retract diagram
Now the pasting composite of the two squares on the right has a lift, by assumption,
By composition, this is also a lift in the total outer rectangle, hence in the original square. Hence has the left lifting property against all and hence is in . The other case is formally dual.
closure under pushout and pullback
Let and and let
be a pullback diagram in . We need to show that has the right lifting property with respect to all . So let
be a commuting square. We need to construct a diagonal lift of that square. To that end, first consider the pasting composite with the pullback square from above to obtain the commuting diagram
By the right lifting property of , there is a diagonal lift of the total outer diagram
By the universal property of the pullback this gives rise to the lift in
In order for to qualify as the intended lift of the total diagram, it remains to show that
commutes. To do so we notice that we obtain two cones with tip :
one is given by the morphisms
with universal morphism into the pullback being
the other by
with universal morphism into the pullback being
The commutativity of the diagrams that we have established so far shows that the first and second morphisms here equal each other, respectively. By the fact that the universal morphism into a pullback diagram is unique this implies the required identity of morphisms.
The other case is formally dual.
closure under (co-)products
Let be a set of elements of . Since colimits in the presheaf category are computed componentwise, their coproduct in this arrow category is the universal morphism out of the coproduct of objects induced via its universal property by the set of morphisms :
Now let
be a commuting square. This is in particular a cocone under the coproduct of objects, hence by the universal property of the coproduct, this is equivalent to a set of commuting diagrams
By assumption, each of these has a lift . The collection of these lifts
is now itself a compatible cocone, and so once more by the universal property of the coproduct, this is equivalent to a lift in the original square
This shows that the coproduct of the has the left lifting property against all and is hence in . The other case is formally dual.
Last revised on September 8, 2022 at 07:43:36. See the history of this page for a list of all contributions to it.