model category, model -category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of -categories
Model structures
for -groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant -groupoids
for rational -groupoids
for rational equivariant -groupoids
for -groupoids
for -groups
for -algebras
general -algebras
specific -algebras
for stable/spectrum objects
for -categories
for stable -categories
for -operads
for -categories
for -sheaves / -stacks
In a model category fibrations enjoy pullback stability and cofibrations are stable under pushout, but weak equivalences need not have either property. In a proper model category weak equivalences are also preserved under certain pullbacks and/or certain pushouts.
Put differently, in a proper model category, homotopy pullbacks and/or pushouts can be computed with less need for fibrant and/or cofibrant replacement.
A model category is called
right proper if weak equivalences are preserved by pullback along fibrations,
left proper if weak equivalence are preserved by pushout along cofibrations,
proper if it is both left and right proper.
More in detail this means the following. A model category is right proper if for every weak equivalence in and every fibration the pullback in
is a weak equivalence.
The above definition is the way it is usually phrased, but in fact it is equivalent to a seemingly weaker condition that is sometimes easier to check: for right properness it suffices to assume that weak equivalences are preserved by pullback along fibrations between fibrant objects. That is, in the more explicit version above, we are free to assume that (hence also ) is fibrant; this then implies the more general version without this hypothesis. See Proposition below.
The following criterion shows that the notion of left or right properness only depends on the underlying relative category of a model category, i.e., does not depend on fibrations or cofibrations. This is clear once we observe that the notion of a Quillen equivalence in the statement below can be replaced by the notion of a Dwyer–Kan equivalence of underlying relative categories, or just ordinary equivalences of underlying homotopy categories.
(Rezk, Proposition 2.7 (arXiv), Proposition 2.5 (journal).) A model category is left proper if and only if for every weak equivalence the induced Quillen adjunction
is a Quillen equivalence. A model category is right proper if and only if for every weak equivalence the induced Quillen adjunction
is a Quillen equivalence.
by cor. , every model category in which all objects are cofibrant is left proper;
this includes notably
and many model structures derived from these, such as
the left Bousfield localization of every left proper combinatorial model category at a set of morphisms is again left proper.
So in particular also the local injective model structures on simplicial presheaves over a site are left proper.
A class of model structures which tends to be not left proper are model structures on categories of not-necessarily commutative algebras.
For instance
But it is Quillen equivalent to a model structure that is left proper. This is discussed below.
by cor. every model category in which each object is fibrant is right proper.
This includes for instance the standard Quillen model structure on topological spaces.
The classical model structure on simplicial sets is (automatically left proper, since all objects are cofibrant, but also) right proper, even though not all objects are fibrant. See there.
Model categories which are both left and right proper include
Top: classical model structure on topological spaces (prop.)
The global model structure on simplicial presheaves and any local such model structure over a site with enough points and weak equivalences the stalkwise weak equivalences.
The standard model structures on chain complexes (see there).
The projective model structure on differential graded-commutative algebras (unbounded). See this MO discussion.
For a Reedy category and a model category which is left or right proper, then also the Reedy model structure on is left or right proper, respectively.
While some model categories fail to be proper, often there is a Quillen equivalent one that does enjoy properness.
Every model category whose acyclic cofibrations are monomorphisms is Quillen equivalent to its model structure on algebraic fibrant objects. In this all objects are fibrant, so that it is right proper.
Let be a simplicial (possibly multi-colored) theory, and let be the corresponding category of simplicial T-algebras. This carries a model category structure where the fibrations and weak equivalences are those of the underlying simplicial sets in the classical model structure on simplicial sets.
Then there exists a morphism of simplicial theories such that
the induced adjunction is a Quillen equivalence;
is a proper simplicial model category.
This is the content of (Rezk 02)
The following says that left/right properness holds locally in every model category, namely between cofibrant/fibrant objects.
Given a model category,
every pushout of a weak equivalence between cofibrant objects along a cofibration is again a weak equivalence;
every pullback of a weak equivalence between fibrant objects along a fibration is again a weak equivalence.
A proof is spelled out in Hirschhorn, prop. 13.1.2, there attributed to Reedy.
This gives a large class of examples of left/right proper model categories:
A model category in which all objects are cofibrant is left proper.
A model category in which all objects are fibrant is right proper.
See in the list of Examples below for concrete examples.
Notice that the prop. applies only (in the right proper case, for concreteness) to pullbacks of fibrations along weak equivalences in which all three objects are fibrant, since a fibration with fibrant codomain also has fibrant domain. The definition of right proper, on the other hand, states this property in the case when none of the objects are assumed to be fibrant.
One might consider as an “in-between” assumption the situation when only the common codomain of the fibration and the weak equivalence (hence also the domain of the fibration) are fibrant; but it turns out that this apparently-weaker assumption is sufficient to imply full right properness. This can be found, for instance, as Lemma 9.4 of Bousfield 2001.
Suppose that in some model category, if is a fibration and a weak equivalence, with (hence also ) fibrant, then the pullback is a weak equivalence. Then the model category is right proper, i.e. the same statement is true without the assumption that is fibrant.
Suppose given where is a fibration and a weak equivalence. Choose a fibrant replacement , and factor as a weak equivalence followed by a fibration . The assumption now applies to the cospan , so that the map is a weak equivalence. By 2-out-of-3, the induced map is also a weak equivalence.
Now by Ken Brown's lemma, the pullback functor along preserves weak equivalences between fibrant objects, and in particular preserves this weak equivalence . Thus, the induced map is a weak equivalence. However, is a weak equivalence by the assumption, so by 2-out-of-3, the map is also a weak equivalence, as desired.
In a left proper model category, ordinary pushouts along cofibrations are homotopy pushouts.
Dually, in a right proper model category, ordinary pullbacks along fibrations are homotopy pullbacks.
This is stated for instance in HTT, prop A.2.4.4 or in prop. 1.19 in Bar. We follow the proof given in this latter reference.
We demonstrate the first statement, the second is its direct formal dual.
So consider a pushout diagram
in a left proper model category, where the morphism is a cofibration, as indicated. We need to exhibit a weak equivalence from an object that is manifestly a homotopy pushout of .
The standard procedure to produce this is to pass to a weakly equivalent diagram with the property that all objects are cofibrant and one of the morphisms is a cofibration. The ordinary pushout of that diagram is well known to be the homotopy pushout, as described there.
So pick a cofibrant replacement of and factor as a cofibration followed by a weak equivalence and similarly factor as
This yields a weak equivalence of diagrams
where now the diagram on the right is cofibrant as a diagram, so that its ordinary pushout
is a homotopy colimit of the original diagram. To obtain the weak equivalence from there to , first form the further pushouts
where the total outer diagram is the original pushout diagram. Here the cofibrations are as indicated by the above factorization and by their stability under pushouts, and the weak equivalences are as indicated by the above factorization and by the left properness of the model category. The weak equivalence is by the 2-out-of-3 property.
This establishes in particular a weak equivalence
It remains to get a weak equivalence further to . For that, take the two outer squares from the above
Notice that the top square is a pushout by construction, and the total one by assumption. Therefore by the pasting law, also the lower square is a pushout.
Then factor as a cofibration followed by a weak equivalence and push that factorization through the double diagram, to obtain
Again by the behaviour of pushouts under pasting, every single square and composite rectangle in this diagram is a pushout. Using this, the cofibration and weak equivalence properties from before push through the diagram as indicated. This finally yields the desired weak equivalence
by 2-out-of-3.
If we had allowed ourselved to assume in addition that itself is already cofibrant, then the above statement has a much simpler proof, which we list just for fun, too.
Let be a cofibration with cofibrant and let be any other morphism. Factor this morphism as by a cofibration followed by an acyclic fibration. This give a weak equivalence of pushout diagrams
In the diagram on the left all objects are cofibrant and one morphism is a cofibration, hence this is a cofibrant diagram and its ordinary colimit is the homotopy colimit. Using that pushout diagrams compose to pushout diagrams, that cofibrations are preserved under pushout and that in a left proper model category weak equivalences are preserved under pushout along cofibrations, we find a weak equiovalence
The proof for the second statement is the precise formal dual.
A model category is right proper if and only if every fibration is a sharp map.
(Rezk 98)
For any model category , and any morphism , the base change of slice categories along
is a Quillen adjunction between slice model categories (this Prop.).
If this adjunction is a Quillen equivalence, then must be a weak equivalence. In general, the converse can be proven only if and are fibrant.
The following are equivalent:
is right proper.
If is any weak equivalence in , then is a Quillen equivalence.
This is due to Rezk 02, Prop. 2.5.
The statement of Prop. may be read as saying is right proper iff all slice model categories have the “correct” Quillen equivalence type.
Since whether or not a Quillen adjunction is a Quillen equivalence depends only on the classes of weak equivalences, not the fibrations and cofibrations, it follows that being right proper is really a property of a homotopical category. In particular, if one model structure is right proper, then so is any other model structure on the same category with the same weak equivalences.
Since most well-behaved model categories are equivalent to a model category in which all objects are fibrant — namely, the model category of algebraically fibrant objects — they are in particular equivalent to one which is right proper. Thus, right properness by itself is not a property of an -category, only of a particular presentation of it via a model category.
However, if a Cisinski model category is right proper, then the -category which it presents must be locally cartesian closed. Conversely, any locally cartesian closed (∞,1)-category has a presentation by a right proper Cisinski model category; see locally cartesian closed (∞,1)-category for the proof.
The concept originates in
Textbook account:
The usefulness of right properness for constructions of homotopy categories is discussed in
The general theory can be found in
also in
See also:
Charles Rezk, Fibrations and homotopy colimits of simplicial sheaves (arXiv:9811038)
Charles Rezk, Every homotopy theory of simplicial algebras admits a proper model, Topology and its Applications, Volume 119, Issue 1, 2002, Pages 65-94, (doi:10.1016/S0166-8641(01)00057-8, arXiv:math/0003065)
Thomas Nikolaus, Algebraic models for higher categories (arXiv:1003.1342)
Examples of nonproper model structures can be found in:
Simon Henry, Counter-example to the existence of left Bousfield localization of combinatorial model category MathOverflow
Simon Henry, Examples of non-proper model structure,
Last revised on June 4, 2024 at 13:46:30. See the history of this page for a list of all contributions to it.