model category, model $\infty$-category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of $(\infty,1)$-categories
Model structures
for $\infty$-groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant $\infty$-groupoids
for rational $\infty$-groupoids
for rational equivariant $\infty$-groupoids
for $n$-groupoids
for $\infty$-groups
for $\infty$-algebras
general $\infty$-algebras
specific $\infty$-algebras
for stable/spectrum objects
for $(\infty,1)$-categories
for stable $(\infty,1)$-categories
for $(\infty,1)$-operads
for $(n,r)$-categories
for $(\infty,1)$-sheaves / $\infty$-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 $S$ be a (Berger-Moerdijk) generalized Reedy category. Let $\mathcal{C}$ be a category with small limits and colimits.
For every object $s \in S$, every functor $X : S \to \mathcal{C}$ and every natural transformation $\phi : X \to Y$
$S^+(s)$ for the full subcategory of the slice category $S^+/s$ on the non-invertible morphisms into $s$;
$S^-(s)$ for the full subcategory of the under category $s/S^-$ on the non-invertible morphisms out of $s$;
write
for the colimit of $X$ over $S^+(s)$, called the latching object of $X$ at $s$;
write
for the limit of $X$ over $S^-(s)$, called the matching object of $X$ at $s$.
write
for the universal morphism induced from the morphism $L_s(X) \to X_s$, called the relative latching map of $\phi$ at $s$;
write
for the dual universal morphism, called the relative matching map of $\phi$ at $s$.
See Joyal-Tierney calculus for more on these kinds of objects and morphisms.
In the above situation, the automorphism group $Aut_S(s)$ of $s$ canonically acts on all objects that appear, and all morphisms that appear respect this action.
Equivalently this means that for all $s$ the above objects and morphisms take place in the presheaf category $[B Aut(s), \mathcal{C}]$.
Since limits and colimits in presheaf categories are computed objectwise.
Choose now once and for all on all on $[\coprod_{s \in S} B Aut(s), \mathcal{C}]$ either the projective or the injective model structure on functors (if they exist). We will use the subscript “${}_{proj/inj}$”, as in $[\coprod_{s \in S} B Aut(s), \mathcal{C}]_{proj/inj}$, to indicate some fixed choice.
Let $S$ be a (Berger-Moerdijk)-generalized Reedy category.
And $\mathcal{C}$ be a model category such that the model structure on functors $[\coprod_{s \in S} B Aut(s), \mathcal{C}]_{proj/inj}$ exists (sufficient for the projective structure is that $\mathcal{C}$ is a cofibrantly generated model category and sufficient for the injective structure is that it is a combinatorial model category).
Write $[S, \mathcal{C}]$ for the category of presheaves on $S^{op}$ with values in $\mathcal{C}$.
Call a morphism $f : X \to Y$ in $[S, \mathcal{C}]$
a Reedy cofibration if for each $s \in S$ the relative latching map
is a cofibration in $[B Aut(s), \mathcal{C}]_{proj/inj}$;
a Reedy fibration if for each $s \in S$ the relative matching map
is a fibration in $[B Aut(s), \mathcal{C}]_{proj/inj}$;
a Reedy weak equivalence if for each $s \in S$ the morphism
is a weak equivalence in $\mathcal{C}$.
We discuss here an alternative way of speaking about the latching and matching objects, one where all indices at a given degree $n \in \mathbb{N}$ are collected.
Recall from def. that for $s \in S$ we write $S^+(s)$ for the category of non-invertible degree-increasing morphisms into $s$. We introduce the union of these categories over all objects of a fixed degree.
For $n \in \mathbb{N}$ write
$S^+(n) = \coprod_{s \in S \atop d(s) = n} S^+(s)$;
$d_ n : S^+((n)) \to S$ for the restriction of the domain opfibration to objects that are non-invertible morphisms in $S^+$ with codomain in degree $n$ and to morphisms whose codomain is invertible, i.e. to diagrams of the form
$i_n : S^+(n) \hookrightarrow S^+((n))$ for the full subcategory inclusion on constant codomains;
$G_n(S) \subset Core(S)$ for the groupoid of objects of degree $n$ 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 $(cod_n)_!$ denotes left Kan extension along $cod_n$.
The restricted codomain opfibration $cod_n : S^+((n)) \to G_n$ is indeed still an opfibration: it is the Grothendieck construction of the pseudofunctor
For $n \in \mathbb{N}$, let $X \in [S, \mathcal{C}]$. Write
$X_n := j_n^* X = X|_{G_n(S)} \in [G_n(S), \mathcal{C}]$;
the $n$th latching object is
the $n$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 $s \in Obj(S)_n$ we have
and the component of the $n$th latching morphism on $s$ is the canonical $Latch_s(X) \to X(s)$.
By remark $(cod_n)_!$ 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 $S^+(s)$ (by the essential uniqueness of the $S^+\circ S^-$-factorization, this necessarily has the morphisms $a \to b$ in $S^+$, too.)
So
An entirely dual discussion gives the degreewise matching objects: we have a diagram of categories
and
where $(dom_n)_*$ is the right Kan extension along $dom_n$.
Over any generalized Reedy category there is an anlog of the notion of simplicial skeleton and simplicial coskeleton.
For $n \in \mathbb{N}$, write
for the full subcategory on the objects of degree $\leq n$.
Left and right Kan extension along $t_n$ defines an adjoint triple
The induced monads
are the $n$-skeleton and $n$-coskeleton functors, respectively.
Define for all $X \in [S, \mathcal{C}]$ the notation $sk_{-1}X$ to denote the initial object and $cosk_{-1}X$ the terminal object.
Here $(t_n)_!$ and $(t_n)_*$ are indeed full and faithful functors, as indicated.
Since $t_{n-1}$ is a full and faithful functor, so is its left Kan extension (see here at Kan extension). Moreover in an adjoint triple the leftmost functor is full and faithful if and only if the rightmost one is.
The $((t_n)_! \dashv t_n^*)$-counit and the $(t_n^* \dashv (t_n)_*)$-unit induces natural transformations
For all $n \in \mathbb{N}$, the $n$th latching object, def. , is isomorphic to the $(n-1)$-skeleton in degree $n$, and dually, the degree-$n$ matching object is isomorphic to the $(n-1)$-coskeleton in degree $n$. Under these identifications the canonical morphisms on both sides match
This is (Ber-Moer, lemma 6.2).
Observe that for any $s \in S$ of degree $n$, the canonical inclusion
into the comma category is a cofinal functor:
for $d \to s$ any object in $t_{n-1}/s$ it factors essentially uniquely as $d \stackrel{\in S^-}{\to} \stackrel{\in S^+}{\to} s$, and hence the comma category $d/i_s$ is non-empty;
similarly, since every morphism factors essentially uniquely in $S$, there is a zig-zag between any two objects in $d / i_s$ 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
and
that exhibit $X$ 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
is
Therefore a cocone under this morphism
is equivalently a diagram
which in turn is equivalently just a morphism $t_n^* X \to t_n^* Y$. So a cocone under the whole tower is an object $Y$ equipped for each $n$ with a morphism $t_n^* X \to t_n^* Y$. Clearly $X$ itself is the inital such object.
For every $X \in [S, \mathcal{C}]$ and for all pairs $k,l \in \mathbb{N}$ with $k \leq l$, we have natural isomorphisms
and
With the above notation we have $t_k = t_l \circ q_k$. Therefore for instance
Since the left adjoints here are full and faithful functors we have $t_l^* (t_l)_! \simeq id$ and hence
Similarly for all the other cases.
The following is a useful tool for inductively creating objects by adding higher degree components.
Given
an object $X_{\leq (n-1)} \in [S_{\leq (n-1)}, \mathcal{C}]$;
and an object $X_n \in [G_n(S), \mathcal{C}]$;
the choices of $X_{\leq n} \in [S_{\leq (n-1)}, \mathcal{C}]$ such that
$X_{\leq (n-1)} = t^*_{n-1} X_{\leq n}$
$X_n = j_n^* X$;
are in bijection with choices of morphisms
in $[G_n(S), \mathcal{C}]$.
Accordingly, given morphisms $f_{\leq (n-1)} : X_{\leq (n-1)} \to Y_{\leq (n-1)}$ and $f_n : X_n \to Y_n$, then choice of extensions to a morphism $f_{\leq n} : X_{\leq n} \to Y_{\leq n}$ 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 $X_{\leq n} : S \to \mathcal{C}$ to be given by $X_{\leq (n-1)}$ on morphism of degree $\leq (n-1)$, to be given by $X_n$ on morphisms between objects of degree $n$, and need to define it on the degree-changing morphisms to and from objects of degree $n$. This information is provided precisely by the co-cone components of $Latch_n(X) \to X_n$ and by the cone-components of $X_n \to Match_n(X)$.
We discuss that for $S$ a Berger-Moerdijk-generalized Reedy category and $\mathcal{C}$ a cofibrantly generated model category, def. indeed defines a model category structure on the functor category $[S,\mathcal{C}]$.
Def. indeed defines a model structure.
It is clear that $[S,\mathcal{C}]$ has all limits and colimits (as for any category of presheaves they are computed objectwise in $\mathcal{E}$) and that the weak equivalences satisfy two-out-of-three, since the weak equivalences in $\mathcal{E}$ 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 $\mathcal{E}$.
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.
A morphism $f : X \to Y$ in $[S, \mathcal{C}]_{gReedy}$ is a Reedy cofibration precisely if for all $n \in \mathbb{N}$ the global relative latching morphism, def.
is a cofibration in $[G_n(S), \mathcal{C}]_{proj/inj}$.
The pushout in the presheaf category $[G_n(S), \mathcal{C}]$ is computed objectwise, so that the component of the $n$th relative latching morphism at $s \in S$ is the relative latching morphism at $s$, by prop. .
The groupoid $G_n(S)$ is equivalent to the disjoint union $\coprod_{[r] \in \pi_0 G_n(S)} B Aut_S(s)$ of the automorphism groupoids of one representative in each isomorphism class. A morphism in $[G_n(S), \mathcal{C}]_{proj/inj}$ is a cofibration precisely if its restriction to all of the $[B Aut_{\mathcal{C}}(s), \mathcal{C}]_{proj/inj}$ is.
In the generalized Reedy structure, def. , the following holds.
Acyclic Reedy cofibrations $f$ such that for all $n \in \mathbb{N}$ the morphism $Latch_n(f)$ is an objectwise acyclic cofibration have the left lifting property against fibrations;
Reedy cofibration have the left lifting property against acyclic Reedy fibrations $g$ with the special property that all $Latch_n(g)$ 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 $f : X \to Y$ be an acyclic cofibration with the above extra property, and let $g : Y \to X$ be a fibration. We will exhibit a lift in any commuting diagram
by stepwise constructing lifts in the skeletal filtration, lemma .
At $n = 0$, observe that since $L_0(X) = \emptyset$ for all $X$, the fact that
is a cofibration in $[G_0, \mathcal{C}]_{proj/inj}$ by assumption, means that in fact $f_0 : A_0 \to B_0$ is an acyclic cofibration here. Similarly $Y_0 \to X_0$ is a fibration there. But $G_0(S) = S_{\leq 0}$ and so the restriction of the lifting problem along $t_0$
is a lifting problem in $[G_0(S), \mathcal{C}]_{proj/inj}$ of an acyclic cofibration against a fibration, and hence has a filler $\gamma_0 : B_0 \to Y_0$ there.
Now assume that a filler $\gamma_{\leq (n-1)}$ in
has been found. By lemma this induces maps $Latch_n(B) \to Latch_n (Y)$ and $Match_n(B) \to Match_n(Y)$ from which we can build the commuting diagram
in $[G_n(S), \mathcal{C}]$.
Here for instance the top horizontal morphism comes from the commutativity of the square
by naturality of the $(sk_{n-1} \dashv t_{n-1}^*)$-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
is
a lift in
such that it makes
commute;
and in the bottom right the lift
is
a lift in
such that it makes
commute.
By lemma , this is precisely the data that characterizes an extension of $\gamma_{\leq (n-1)}$ to $\gamma_{\leq n}$.
By assumption, the left vertical morphism in (1) is a cofibration in $[G_n, \mathcal{C}]_{proj/inj}$, 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 $\mathcal{C}$ over each $s \in S$.
Also by assumption we have that $Latch_n(f)_s$ is an acyclic cofibration in $\mathcal{C}$ for all $s$. Hence so is its pushout $A_s \to (A_s \coprod_{Latch_n(A)_s} Latch_n(B)_s)$. The morphism $v_n(s)$ finally sits in the diagram
and so is a weak equivalence by two-out-of-three.
Suppose $\phi : R \to S$ is a morphism of generalized Reedy categories such that the induced square (see prop. )
is a pullback (in the 1-category Cat). Then for each $X \in [S, \mathcal{C}]$, there is a natural isomorphism
Given a Reedy category $S$, examples of $\phi$ satisfying this condition include
$\phi := dom_n \circ i_n : S^+(n) \to S$;
$\phi := : S_{\leq n} \hookrightarrow S$.
This is (Ber-Moer, lemma 4.4).
The pullback square is part of the diagram
whose rows define, by prop. , 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 $S$ indicate objects in $(S^+(m))^+((k))$ 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. is in fact automatic.
Let $f : X \to Y$ in $[S, \mathcal{C}]$ be a Reedy cofibration, which is a weak equivalence on all objects of degree $\lt n$. Then the morphism $Latch_n(f) : Latch_n(X) \to Latch_n(Y)$ is over each $s \in S$ an acyclic cofibration in $\mathcal{C}$
This is (Ber-Moer, lemma 5.3).
We show this by induction over $n$, using the skeletal filtration def. . For $n = 0$ we have for all $X$ that $Latch_n X = sk_{-1} X = \emptyset$, and hence the condition is trivially satisfied.
So assume now that the statement has been shown for all $(k \lt n)$, then we need to show that $i_n^* Latch_n f$ is an acyclic cofibration in $[Obj(S)_n, \mathcal{C}]$, hence that every square of the form
with $g$ a fibration in $[Obj(S)_n, \mathcal{C}]_{proj/inh}$ (hence over every object of degree $n$) has a lift. Since by lemma we have
such a filler is equivalently a filler in
being a diagram in $[S^+(n), \mathcal{C}]$.
We now establish such a filler by using lemma with the Reedy category in question being now $S^+(n)$. This has only $+$-morphisms and hence Reedy fibrations here are objectwise fibrations, so the morphism on the right is a Reedy fibration over $S^+(n)$.
Moreover, $i_n^* dom_n^* f$ is a Reedy weak equivalence in this structure, since all its objects have degree $\lt n$. It is now sufficient to show that the assumptions of lemma are satisfied over $S^+(n)$, to obtain the lift.
intertwines the latching objects on both sides. Therefore we have an isomorphism between the relative latching morphism of interest
and the morphism
Since $(dom_n i_n)_k$ is a faithful functor between groupoids, $(dom_n i_n)_k^*$ 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 $(dom_n i_n)^*(f)$ is a Reedy cofibration. Similarly, since $Latch_k(f)$ is an acyclic cofibration by induction hypothesis, so is $Latch_k((dom_n i_n)_k^* f)$. This way the assumption of lemma are checked for (2) and so we do have a lift.
Dually, let $f : X \to Y$ in $[S, \mathcal{C}]$ be a Reedy fibration which is a weak equivalence over all objects of degree $\lt n$. Then the morphism $Match_n(f) : Match_n(X) \to Match_n(Y)$ is over each $s \in S$ an acyclic fibration in $\mathcal{C}$.
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 $S_-$ as epimorphisms.)
We can finally conclude:
In the generalized Reedy model structure, def. ,
acyclic cofibrations have the left lifting property against fibrations;
cofibrations have the left lifting property against acyclic fibrations.
By lemma every acyclic Reedy cofibration induces a weak equivalence under $Latch_n$. By lemma 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. .
A morphism $f : X \to Y$ in $[S, \mathcal{C}]$ is both a cofibration and a weak equivalence according to def. precisely if the $n$th relative latching morphism (def. )
is an acyclic cofibration in $[G_n(S), \mathcal{C}]_{proj/inj}$ for all $n \in \mathbb{N}$.
Dually, a morphism $f : X \to Y$ in $[S, \mathcal{C}]$ is both a fibration and a weak equivalence according to def. precisely if the $n$th relative matching morphism (def. )
is an acyclic fibration in $[G_n(S), \mathcal{C}]_{proj/inj}$ for all $n \in \mathbb{N}$.
This is (Ber-Moer, prop. 5.6).
By definition, the morphisms $f_n : X_n \to Y_n$ factor as
If now $f$ is an acyclic Reedy cofibration, then by lemma the morphism $Latch_n(X) \to Latch_n(Y)$ is over each object an acyclic cofibration in $\mathcal{C}$ and then so is $u_n$ above, being the pushout of this morphism. It follows by two-out-of-three that also $v_n$ is a weak equivalence for all $n$.
Conversely, assume that all $v_n$ here are weak equivalences. We show by induction on $n$ that then also the $u_n$ are weak equivalences, and hence that $f$ is a Reedy weak equivalence.
For $n = 0$ we have $u_0 = id$, and so this case is satisfied. So assume now that all $u_k$ for $k \lt n$ are weak equivalences. Then the assumptions of lemma are again satisfied, and it follows that $Latch_n(f) : Latch_n(X) \to Latch_n(Y)$ is over each object an acyclic cofibration. Accordingly, so is $u_n$, being its pushout. Therefore, by induction, all $u_n$ are, in particular, weak equivalences.
The argument for fibrations is dual to this.
Every morphism in $[S, \mathcal{C}]$ factors as an acyclic Reedy cofibration (according to def. ) 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 $f : X \to Y$ be any morphism in $[S, \mathcal{C}]$. 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 $t_n^* : [S, \mathcal{C}] \to [S_{\leq n}, \mathcal{C}]$. The other case (cofibration followed by acyclic fibration) works dually.
For $n = 0$ we have $S_{\leq 0} = G_0(S)$ and we factor $f_0$ in the model structure $[G_0(S), \mathcal{C}]_{proj/inj}$
Now assume for some $n \in \mathbb{N}$ that a factorization of
has been found. This induces the commutative diagram
This diagram in turn induces a morphism
in $[G_n(S), \mathcal{C}]$, which we may factor as a trivial cofibration followed by a fibration
in $[G_n(S), \mathcal{C}]_{proj/inj}$.
By lemma , the “righmost component” of this data defines an extension of $A_{\leq (n-1)}$ to $A_{\leq n}$. The “leftmost component” defines a factorization of $f_n$ and the “middle component” says that this consistently extends the previously obtained factorization of $f_{\leq n}$. With this, finally the two morphisms say that this new factorization is by an acyclic Reedy cofibration (by lemma ) followed by a Reedy fibration (by definition).
We discuss conditions on an object $X$ such that the skeletal/coskeletal towers discussed above are “homotopy good” in that they exhibit $X$ not just as the colimit/limit over the tower, but as the homotopy colimit/homotopy limit.
For all $n \in \mathbb{N}$
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 $X \in [S, \mathcal{C}]$ is Reedy cofibrant according to def. , then all $sk_n X$ are Reedy cofibrant and the canonical morphisms $sk_k X \to sk_l X$ are Reedy cofibrations.
If $X \in \mathcal{C}$ is Reedy fibrant according to def. then all $cosk_n X$ are Reedy fibrant and the canonical morphisms $cosk_l X \to cosk_k X$ are Reedy fibrations.
This is (Ber-Moer, prop. 6.5).
We discuss the skeleta. The case of coskeleta is dual.
By lemma it is sufficient to consider the case $sk_n X \to sk_\infty X = X$.
To check that this is a Reedy cofibration if $X$ is Reedy cofibrant, consider the diagram that induces the relative latching object for this morphism
For $k \leq n$, the horizontal morphisms are both isomorphisms. Because by lemma the top morphism is
and this is an iso by lemma . The bottom morphism is isomorphic to $(t_k^* sk_{n}(X))_k \to (t_k^* X)_k$ which is isomorphic to the identity by the kind of argument in lemma .
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 $k \gt n$ the left vertical map is an isomorphism, so that the relative latching morphism in this case is $Latch_k(X) \to X_k$, which is a cofibration by the assumption that $X$ is Reedy cofibrant.
Finally, that $sk_n X$ is cofibrant follows directly from lemma .
(…)
Every ordinary Reedy category is a generalized Reedy category, and in this case the above model structure reduces to the traditional Reedy model structure.
The model structure for dendroidal complete Segal spaces is a left Bousfield localization of the generalized Reedy model structure over the tree category.
Last revised on November 30, 2021 at 14:38:58. See the history of this page for a list of all contributions to it.