Model category theory
Producing new model structures
Presentation of -categories
for stable/spectrum objects
for stable -categories
for -sheaves / -stacks
Generalized Reedy model structures are a class of model categories that generalize the Reedy model structures when the underlying site is generalized from a Reedy category to a generalized Reedy category.
So these model structures serve to present (∞,1)-categories of (∞,1)-functors on generalized Reedy categories.
As for the Reedy model structures, the generalized Reedy model structure typically models geometric shapes for higher structures. The crucial generalization is that the basic shapes here may have non-trivial automorphisms.
Let be a (Berger-Moerdijk) generalized Reedy category. Let be a category with small limits and colimits.
The model structure
For every object , every functor and every natural transformation
for the full subcategory of the slice category on the non-invertible morphisms into ;
for the full subcategory of the under category on the non-invertible morphisms out of ;
for the colimit of over , called the latching object of at ;
for the limit of over , called the matching object of at .
for the universal morphism induced from the morphism , called the relative latching map of at ;
for the dual universal morphism, called the relative matching map of at .
See Joyal-Tierney calculus for more on these kinds of objects and morphisms.
Choose now once and for all on all on either the projective or the injective model structure on functors (if they exist). We will use the subscript “”, as in , to indicate some fixed choice.
Let be a (Berger-Moerdijk)-generalized Reedy category.
And be a model category such that the model structure on functors exists (sufficient for the projective structure is that is a cofibrantly generated model category and sufficient for the injective structure is that it is a combinatorial model category).
Write for the category of presheaves on with values in .
Call a morphism in
a Reedy cofibration if for each the relative latching map
is a cofibration in ;
a Reedy fibration if for each the relative matching map
is a fibration in ;
a Reedy weak equivalence if for each the morphism
is a weak equivalence in .
Degreewise latching and matching objects
We discuss here an alternative way of speaking about the latching and matching objects, one where all indices at a given degree are collected.
Recall from def. 1 that for we write for the category of non-invertible degree-increasing morphisms into . We introduce the union of these categories over all objects of a fixed degree.
for the restriction of the domain opfibration to objects that are non-invertible morphisms in with codomain in degree and to morphisms whose codomain is invertible, i.e. to diagrams of the form
for the full subcategory inclusion on constant codomains;
for the groupoid of objects of degree and isomorphisms between them.
The above categories and functors arrange into a diagram
where the vertical morphisms are (non-full) inclusions and the square is a pullback (in the 1-category Cat) of an opfibration. Therefore it satisfies the Beck-Chevalley condition (see the discussion there) so that we have a natural isomorphism
where denotes left Kan extension along .
The restricted codomain opfibration is indeed still an opfibration: it is the Grothendieck construction of the pseudofunctor
For , let . Write
the th latching object is
the th latching morphism
is the adjunct to the canonical functor
The following proposition says that the “global” latching objects indeed contain all the ordinary latching objects in the given degree.
For we have
and the component of the th latching morphism on is the canonical .
By remark 2 is the left Kan extension along an opfibration. By a standard fact (see here at Kan extension) these are computed at any object by the colimit over the fiber over that object.
By definition, that fiber is
This is indeed (by the essential uniqueness of the -factorization, this necessarily has the morphisms in , too.)
An entirely dual discussion gives the degreewise matching objects: we have a diagram of categories
where is the right Kan extension along .
Skeleta and coskeleta
Over any generalized Reedy category there is an anlog of the notion of simplicial skeleton and simplicial coskeleton.
For , write
for the full subcategory on the objects of degree .
Left and right Kan extension along defines an adjoint triple
The induced monads
are the -skeleton and -coskeleton functors, respectively.
Define for all the notation to denote the initial object and the terminal object.
The -counit and the -unit induces natural transformations
For all , the th latching object, def. 4, is isomorphic to the -skeleton in degree , and dually, the degree- matching object is isomorphic to the -coskeleton in degree . Under these identifications the canonical morphisms on both sides match
This is (Ber-Moer, lemma 6.2).
Observe that for any of degree , the canonical inclusion
into the comma category is a cofinal functor:
for any object in it factors essentially uniquely as , and hence the comma category is non-empty;
similarly, since every morphism factors essentially uniquely in , there is a zig-zag between any two objects in constructed from the isomorphisms that exhibit the essentially unique factorization.
With this the statement follows from the fact that restriction along cofinal functors preserves colimits and the pointwise description of left Kan extension by colimits over comma categories:
The tower of inclusions
induces towers of natural transformations
that exhibit as the colimit of its skeleton tower and as the limit of its coskeleton tower.
This is (Ber-Moer, lemma 6.3).
The morphisms in the tower come from the adjunction units and counits: the morphism
Therefore a cocone under this morphism
is equivalently a diagram
which in turn is equivalently just a morphism . So a cocone under the whole tower is an object equipped for each with a morphism . Clearly itself is the inital such object.
For every and for all pairs with , we have natural isomorphisms
With the above notation we have . Therefore for instance
Since the left adjoints here are full and faithful functors we have and hence
Similarly for all the other cases.
The following is a useful tool for inductively creating objects by adding higher degree components.
an object ;
and an object ;
the choices of such that
are in bijection with choices of morphisms
Accordingly, given morphisms and , then choice of extensions to a morphism are in bijection with choices of vertical morphisms in commuting diagrams
If the object exists, then the morphisms do, by the above definitions/discussion. Conversely, given these morphisms, we take to be given by on morphism of degree , to be given by on morphisms between objects of degree , and need to define it on the degree-changing morphisms to and from objects of degree . This information is provided precisely by the co-cone components of and by the cone-components of .
Proof of the model category axioms
We discuss that for a Berger-Moerdijk-generalized Reedy category and a cofibrantly generated model category, def. 2 indeed defines a model category structure on the functor category .
It is clear that has all limits and colimits (as for any category of presheaves they are computed objectwise in ) and that the weak equivalences satisfy two-out-of-three, since the weak equivalences in do. Also, all three classes of morphisms are closed under retracts, since, for instance, the relative latching morphism of a retract is the retract of a relative latching morphism and so the property follows with the retract-closure of the classes of morphisms in .
It remains to show that the relevant lifting and factorization properties hold. This we discuss in a list of lemmas below in Lifting and Factorization.
We work with the “global” latching objects from above.
The pushout in the presheaf category is computed objectwise, so that the component of the th relative latching morphism at is the relative latching morphism at , by prop. 2.
The groupoid is equivalent to the disjoint union of the automorphism groupoids of one representative in each isomorphism class. A morphism in is a cofibration precisely if its restriction to all of the is.
In the generalized Reedy structure, def. 2, the following holds.
Acyclic Reedy cofibrations such that for all the morphism is an objectwise acyclic cofibration have the left lifting property against fibrations;
Reedy cofibration have the left lifting property against acyclic Reedy fibrations with the special property that all are objectwise acyclic fibrations.
This is (Ber-Moer, lemma 5.2, lemma 5.4).
We show the first clause. The second is dual. So let be an acyclic cofibration with the above extra property, and let be a fibration. We will exhibit a lift in any commuting diagram
by stepwise constructing lifts in the skeletal filtration, lemma 2.
At , observe that since for all , the fact that
is a cofibration in by assumption, means that in fact is an acyclic cofibration here. Similarly is a fibration there. But and so the restriction of the lifting problem along
is a lifting problem in of an acyclic cofibration against a fibration, and hence has a filler there.
Now assume that a filler in
has been found. By lemma 1 this induces maps and from which we can build the commuting diagram
Here for instance the top horizontal morphism comes from the commutativity of the square
by naturality of the -counit.
We observe now that finding a lift in (1) will complete the induction step. To see this in more detail, notice that in the top left the lift
a lift in
such that it makes
and in the bottom right the lift
a lift in
such that it makes
By lemma 4, this is precisely the data that characterizes an extension of to .
By assumption, the left vertical morphism in (1) is a cofibration in , and the right vertical morphism is a fibration there. Therefore to get the lift and hence complete the induction step, it is now sufficient to show that the left morphism is also a weak equivalence, hence is a weak equivalence in over each .
Also by assumption we have that is an acyclic cofibration in for all . Hence so is its pushout . The morphism finally sits in the diagram
and so is a weak equivalence by two-out-of-three.
Suppose is a morphism of generalized Reedy categories such that the induced square (see prop. 1)
is a pullback (in the 1-category Cat). Then for each , there is a natural isomorphism
Given a Reedy category , examples of satisfying this condition include
This is (Ber-Moer, lemma 4.4).
The pullback square is part of the diagram
whose rows define, by prop. 1, the latching objects by pull-push. Since the pullback square, being the pullback of an opfibration (the codomain opfibration), satisfies the Beck-Chevalley condition (by the fact discussed here), we find the intertwining isomorphism as follows:
Now concerning the two examples.
By definition we have
where on the right the vertical sequences in indicate objects in and the whole diagram on the right indicates a morphism there.
One sees that this is indeed the fiber product as claimed.
We now show that the extra condition in prop. 5 is in fact automatic.
This is (Ber-Moer, lemma 5.3).
We show this by induction over , using the skeletal filtration def. 5. For we have for all that , and hence the condition is trivially satisfied.
So assume now that the statement has been shown for all , then we need to show that is an acyclic cofibration in , hence that every square of the form
with a fibration in (hence over every object of degree ) has a lift. Since by lemma 1 we have
such a filler is equivalently a filler in
being a diagram in .
We now establish such a filler by using lemma 5 with the Reedy category in question being now . This has only -morphisms and hence Reedy fibrations here are objectwise fibrations, so the morphism on the right is a Reedy fibration over .
Moreover, is a Reedy weak equivalence in this structure, since all its objects have degree . It is now sufficient to show that the assumptions of lemma 5 are satisfied over , to obtain the lift.
By lemma 6 the functor
intertwines the latching objects on both sides. Therefore we have an isomorphism between the relative latching morphism of interest
and the morphism
Since is a faithful functor between groupoids, preserves cofibrations in the projective structure (and trivially does so always in the injective structure), and so the above relative latching morphism is a cofibration, hence is a Reedy cofibration. Similarly, since is an acyclic cofibration by induction hypothesis, so is . This way the assumption of lemma 5 are checked for (2) and so we do have a lift.
This is (Ber-Moer, lemma 5.4).
(Essentially the dual proof to that above. Except for one slight difference in the last part. Here – and only here – do we need the last clause in the definition of generalized Reedy category, the one that says that isomorphisms see the maps in as epimorphisms.)
We can finally conclude:
In the generalized Reedy model structure, def. 2,
By lemma 7 every acyclic Reedy cofibration induces a weak equivalence under . By lemma 5 this implies the left lifting property against Reedy fibrations. Dually for the second statement.
We demonstrate the factorization axiom in the Reedy model structure, def. 2.
A morphism in is both a cofibration and a weak equivalence according to def. 2 precisely if the th relative latching morphism (def. 4)
is an acyclic cofibration in for all .
Dually, a morphism in is both a fibration and a weak equivalence according to def. 2 precisely if the th relative matching morphism (def. 4)
is an acyclic fibration in for all .
This is (Ber-Moer, prop. 5.6).
By definition, the morphisms factor as
If now is an acyclic Reedy cofibration, then by lemma 7 the morphism is over each object an acyclic cofibration in and then so is above, being the pushout of this morphism. It follows by two-out-of-three that also is a weak equivalence for all .
Conversely, assume that all here are weak equivalences. We show by induction on that then also the are weak equivalences, and hence that is a Reedy weak equivalence.
For we have , and so this case is satisfied. So assume now that all for are weak equivalences. Then the assumptions of lemma 7 are again satisfied, and it follows that is over each object an acyclic cofibration. Accordingly, so is , being its pushout. Therefore, by induction, all are, in particular, weak equivalences.
The argument for fibrations is dual to this.
Every morphism in factors as an acyclic Reedy cofibration (according to def. 2) followed by a Reedy fibration, and it factors as a Reedy cofibration followed by an acyclic Reedy fibration
This is (Ber-Moer, page 18).
Let be any morphism in . We construct a factorization into an acyclic cofibration followed by a fibration by induction on the degree, i.e. by induction over the restrictions along . The other case (cofibration followed by acyclic fibration) works dually.
For we have and we factor in the model structure
Now assume for some that a factorization of
has been found. This induces the commutative diagram
This diagram in turn induces a morphism
in , which we may factor as a trivial cofibration followed by a fibration
By lemma 4, the “righmost component” of this data defines an extension of to . The “leftmost component” defines a factorization of and the “middle component” says that this consistently extends the previously obtained factorization of . With this, finally the two morphisms say that this new factorization is by an acyclic Reedy cofibration (by lemma 9) followed by a Reedy fibration (by definition).
Homotopy skeletal filtration and coskeleton tower
We discuss conditions on an object such that the skeletal/coskeletal towers discussed above are “homotopy good” in that they exhibit not just as the colimit/limit over the tower, but as the homotopy colimit/homotopy limit.
The left Kan extension
is a left Quillen functor.
The right Kan extension
is a right Quillen functor.
The restriction functor
is both a left and a right Quillen functor.
This is (Ber-Moer, lemma 6.4).
If is Reedy cofibrant according to def. 2, then all are Reedy cofibrant and the canonical morphisms are Reedy cofibrations.
If is Reedy fibrant according to def. 2 then all are Reedy fibrant and the canonical morphisms are Reedy fibrations.
This is (Ber-Moer, prop. 6.5).
We discuss the skeleta. The case of coskeleta is dual.
By lemma 3 it is sufficient to consider the case .
To check that this is a Reedy cofibration if is Reedy cofibrant, consider the diagram that induces the relative latching object for this morphism
For , the horizontal morphisms are both isomorphisms. Because by lemma 1 the top morphism is
and this is an iso by lemma 3. The bottom morphism is isomorphic to which is isomorphic to the identity by the kind of argument in lemma 3.
Therefore also the relative latching morphism is an isomorphism in this case (use that pushouts of isos are isos and use 2-out-of-3 for isos), hence in particular a cofibration.
Similarly, for the left vertical map is an isomorphism, so that the relative latching morphism in this case is , which is a cofibration by the assumption that is Reedy cofibrant.
Finally, that is cofibrant follows directly from lemma 10.
Relation to other model structures