nLab
generalized Reedy model structure

Idea

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.

Definition

Let $S$ be a (Berger-Moerdijk) generalized Reedy category. Let $𝒞$ be a category with small limits and colimits.

The model structure

Definition

For every object $s\in S$, every functor $X:S\to 𝒞$ and every natural transformation $\varphi :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

  $${\mathrm{Latch}}_s(X):=\underset{\underset{(r\to s)\in S^{+}(s)}{\to }}{\lim }X(r)$$Latch_s(X) := {\lim_{\underset{(r \to s) \in S^+(s)}{\to}}} X(r)

  for the colimit of $X$ over $S^{+}(s)$, called the latching object of $X$ at $s$;

• write

  $${\mathrm{Match}}_s(X):=\underset{\underset{(s\to r)\in S^{-}(s)}{\leftarrow }}{\lim }X(r)$$Match_s(X) := {\lim_{\underset{(s \to r) \in S^-(s)}{\leftarrow}}} X(r)

  for the limit of $X$ over $S^{-}(s)$, called the matching object of $X$ at $s$.

• write

  $$X_s\coprod _{{\mathrm{Latch}}_s(X)}{\mathrm{Latch}}_s(Y)\to Y_s$$X_s \coprod_{Latch_s(X)} Latch_s(Y) \to Y_s

  for the universal morphism induced from the morphism $L_s(X)\to X_s$, called the relative latching map of $\varphi$ at $s$;

• write

  $$X_s\to {\mathrm{Match}}_s(X)\prod _{{\mathrm{Match}}_s(Y)}{Y}_s$$X_s \to Match_s(X) \prod_{Match_s(Y)} Y_s

  for the dual universal morphism, called the relative matching map of $\varphi$ at $s$.

See Joyal-Tierney calculus for more on these kinds of objects and morphisms.

Remark

In the above situation, the automorphism group ${\mathrm{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\mathrm{Aut}(s),𝒞]$.

Proof

Since limits and colimits in presheaf categories are computed objectwise.

Choose now once and for all on all on $[{\coprod }_{s\in S}B\mathrm{Aut}(s),𝒞]$ either the projective or the injective model structure on functors (if they exist). We will use the subscript ”${}_{\mathrm{proj}/\mathrm{inj}}$”, as in $[{\coprod }_{s\in S}B\mathrm{Aut}(s),𝒞{]}_{\mathrm{proj}/\mathrm{inj}}$, to indicate some fixed choice.

Definition

Let $S$ be a (Berger-Moerdijk)-generalized Reedy category.

And $𝒞$ be a model category such that the model structure on functors $[{\coprod }_{s\in S}B\mathrm{Aut}(s),𝒞{]}_{\mathrm{proj}/\mathrm{inj}}$ 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 $[S,𝒞]$ for the category of presheaves on $S^{\mathrm{op}}$ with values in $𝒞$.

Call a morphism $f:X\to Y$ in $[S,𝒞]$

• a Reedy cofibration if for each $s\in S$ the relative latching map

  $$X_s\coprod _{L_s(X)}{L}_s(Y)\to Y_s$$X_s \coprod_{L_s(X)} L_s(Y) \to Y_s

  is a cofibration in $[B\mathrm{Aut}(s),𝒞{]}_{\mathrm{proj}/\mathrm{inj}}$;

• a Reedy fibration if for each $s\in S$ the relative matching map

  $$X_s\to M_s(X)\prod _{M_s(Y)}{Y}_s$$X_s \to M_s(X) \prod_{M_s(Y)} Y_s

  is a fibration in $[S,𝒞{]}_{\mathrm{proj}/\mathrm{inj}}$;

• a Reedy weak equivalence if for each $s\in S$ the morphism

  $$f_s:X_s\to Y_s$$f_s : X_s \to Y_s

  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 $n\in \mathbb{N}$ are collected.

Recall from def. 1 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.

Definition

For $n\in \mathbb{N}$ write

• $S^{+}(n)={\coprod }_{\genfrac{}{}{0ex}{}{s\in S}{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

  $$\begin{array}{ccc}a& \stackrel{\in S^{+}}{\to }& b\\ {\downarrow }^{\in S^{+}}& & {\downarrow }^{\in S^{+}}& \mathrm{not}\mathrm{invertible}\\ s& \stackrel{\simeq }{\to }& s\prime & \mathrm{deg}=n\end{array};$$\array{ a &\stackrel{\in S^+}{\to}& b \\ \downarrow^{\mathrlap{\in S^+}} && \downarrow^{\mathrlap{\in S^+}} & not\, invertible \\ s & \stackrel{\simeq}{\to} & s' & deg = n } \,;

• $i_n:S^{+}(n)\hookrightarrow S^{+}((n))$ for the full subcategory inclusion on constant codomains;

• $G_n(S)\subset \mathrm{Core}(S)$ for the groupoid of objects of degree $n$ and isomorphisms between them.

Proposition

The above categories and functors arrange into a diagram

$$\begin{array}{ccccccc}S& \stackrel{{\mathrm{dom}}_n}{\leftarrow }& S^{+}((n))& \stackrel{{\mathrm{cod}}_n}{\to }& G_n(S)& \stackrel{j_n}{\hookrightarrow }& S\\ & & {}^{i_n}\uparrow & & {\uparrow }^{i_n}\\ & & S^{+}(n)& \stackrel{{\mathrm{cod}}_n}{\to }& \mathrm{Obj}(S{)}_n\end{array},$$\array{ S &\stackrel{dom_n}{\leftarrow}& S^+((n)) &\stackrel{cod_n}{\to}& G_n(S) &\stackrel{j_n}{\hookrightarrow}& S \\ && {}^{\mathllap{i_n}}\uparrow && \uparrow^{\mathrlap{i_n}} \\ && S^+(n) &\stackrel{cod_n}{\to}& Obj(S)_n } \,,

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

$$({\mathrm{cod}}_n{)}_{!}{i}_n^{*}\simeq i_n^{*}({\mathrm{cod}}_n{)}_{!},$$(cod_n)_! i_n^* \simeq i_n^* (cod_n)_! \,,

where $({\mathrm{cod}}_n{)}_{!}$ denotes left Kan extension along ${\mathrm{cod}}_n$.

Remark

The restricted codomain opfibration ${\mathrm{cod}}_n:S^{+}((n))\to G_n$ is indeed still an opfibration: it is the Grothendieck construction of the pseudofunctor

$$S^{+}(-):G_n(S)\to \mathrm{Cat}$$S^+(-) : G_n(S) \to Cat

$$s\mapsto S^{+}(s).$$s \mapsto S^+(s) \,.

Definition

For $n\in \mathbb{N}$, let $X\in [S,𝒞]$. Write

• $X_n:=j_n^{*}X=X{\mid }_{G_n(S)}\in [G_n(S),𝒞]$;

• the $n$th latching object is

  $${\mathrm{Latch}}_n(X):=({\mathrm{cod}}_n)!{\mathrm{dom}}_n^{*}X\in [G_n(S),𝒞].$$Latch_n(X) := (cod_n)! dom_n^* X \in [G_n(S), \mathcal{C}] \,.

• the $n$th latching morphism

  $${\mathrm{Latch}}_n(X)\to X_n$$Latch_n(X) \to X_n

  is the adjunct to the canonical functor

  $${\mathrm{dom}}_n^{*}X\to (j_n{\mathrm{cod}}_n{)}^{*}X.$$dom_n^* X \to (j_n cod_n)^* X \,.

The following proposition says that the “global” latching objects indeed contain all the ordinary latching objects in the given degree.

Proposition

For $s\in \mathrm{Obj}(S{)}_n$ we have

$${\mathrm{Latch}}_n(X):s\mapsto {\mathrm{Latch}}_s(X)$$Latch_n(X) : s \mapsto Latch_s(X)

and the component of the $n$th latching morphism on $s$ is the canonical ${\mathrm{Latch}}_s(X)\to X(s)$.

Proof

By remark 2 $({\mathrm{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

$${\mathrm{cod}}_n^{-1}(s)=\left\{\begin{array}{ccccc}a& & \stackrel{\in S^{+}}{\to }& & b\\ & {\searrow }^{\in S^{+}}& & {\swarrow }_{\in S^{+}}& & \mathrm{non}\mathrm{invertible}\\ & & s\end{array}\right\}.$$cod_n^{-1}(s) = \left\{ \array{ a &&\stackrel{\in S^+}{\to}&& b \\ & \searrow^{\mathrlap{\in S^+}} && \swarrow_{\mathrlap{\in S^+}} && non\; invertible \\ && s } \right\} \,.

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

$$\begin{array}{rl}(({\mathrm{cod}}_n{)}_{!}{\mathrm{dom}}_n^{*}X)(s)& \simeq \underset{\underset{S^{+}(s)}{\to }}{\lim }(X\circ \mathrm{dom})\\ & \simeq =:{\mathrm{Latch}}_s(X)\end{array}.$$\begin{aligned} ((cod_n)_! dom_n^* X)(s) & \simeq \lim_{\underset{S^+(s)}{\to}} (X \circ dom) \\ & \simeq =: Latch_s(X) \end{aligned} \,.

An entirely dual discussion gives the degreewise matching objects: we have a diagram of categories

$$\begin{array}{ccccccc}S& \stackrel{{\mathrm{cod}}_n}{\leftarrow }& S^{-}((n))& \stackrel{{\mathrm{dom}}_n}{\to }& G_n(S)& \stackrel{j_n}{\hookrightarrow }& S\\ & & {}^{i_n}\uparrow & & {\uparrow }^{i_n}\\ & & S^{+}(n)& \stackrel{{\mathrm{dom}}_n}{\to }& \mathrm{Obj}(S{)}_n\end{array},$$\array{ S &\stackrel{cod_n}{\leftarrow}& S^-((n)) &\stackrel{dom_n}{\to}& G_n(S) &\stackrel{j_n}{\hookrightarrow}& S \\ && {}^{\mathllap{i_n}}\uparrow && \uparrow^{\mathrlap{i_n}} \\ && S^+(n) &\stackrel{dom_n}{\to}& Obj(S)_n } \,,

and

$${\mathrm{Match}}_{n}X:=({\mathrm{dom}}_n{)}_{*}{\mathrm{cod}}_n^{*}X,$$Match_n X := (dom_n)_* cod_n^* X \,,

where $({\mathrm{dom}}_n{)}_{*}$ is the right Kan extension along ${\mathrm{dom}}_n$.

Skeleta and coskeleta

Over any generalized Reedy category there is an anlog of the notion of simplicial skeleton and simplicial coskeleton.

For $n\in \mathbb{N}$, write

$$t_n:S_{\le n}\hookrightarrow S$$t_n : S_{\leq n} \hookrightarrow S

for the full subcategory on the objects of degree $\le n$.

Definition

Left and right Kan extension along $t_n$ defines an adjoint triple

$$((t_n{)}_{!}⊣t_n^{*}⊣(t_n{)}_{*}):[S_{\le n},𝒞]\stackrel{\stackrel{(t_n{)}_{!}}{\hookrightarrow }}{\stackrel{\stackrel{t_n^{*}}{\leftarrow }}{\underset{(t_n{)}_{*}}{\hookrightarrow }}}[S,𝒞].$$((t_n)_! \dashv t_n^* \dashv (t_n)_*) : [S_{\leq n},\mathcal{C}] \stackrel{\overset{(t_n)_!}{\hookrightarrow}}{\stackrel{\overset{t_n^*}{\leftarrow}}{\underset{(t_n)_*}{\hookrightarrow}}} [S,\mathcal{C}] \,.

The induced monads

$$({\mathrm{sk}}_n⊣{\mathrm{cosk}}_n):[S,𝒞]\stackrel{\stackrel{(t_n{)}_{!}}{\leftarrow }}{\underset{t_n^{*}}{\to }}[S_{\le n},𝒞]\stackrel{\stackrel{t_n^{*}}{\leftarrow }}{\underset{(t_n{)}_{*}}{\to }}[S,𝒞]$$(sk_n \dashv cosk_n) : [S,\mathcal{C}] \stackrel{\overset{(t_n)_!}{\leftarrow}}{\underset{t_n^*}{\to}} [S_{\leq n},\mathcal{C}] \stackrel{\overset{t_n^*}{\leftarrow}}{\underset{(t_n)_*}{\to}} [S,\mathcal{C}]

are the $n$-skeleton and $n$-coskeleton functors, respectively.

Define for all $X\in [S,𝒞]$ the notation ${\mathrm{sk}}_{-1}X$ to denote the initial object and ${\mathrm{cosk}}_{-1}X$ the terminal object.

Remark

Here $(t_n{)}_{!}$ and $(t_n{)}_{*}$ are indeed full and faithful functors, as indicated.

Proof

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{)}_{!}⊣t_n^{*})$-counit and the $(t_n^{*}⊣(t_n{)}_{*})$-unit induces natural transformations

$${\mathrm{sk}}_n\to \mathrm{id}$$sk_n \to id

$$\mathrm{id}\to {\mathrm{cosk}}_n.$$id \to cosk_n \,.

Lemma

For all $n\in \mathbb{N}$, the $n$th latching object, def. 4, 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

$${\mathrm{Latch}}_n(X)\simeq ({\mathrm{sk}}_{n-1}(X){)}_n$$Latch_n(X) \simeq (sk_{n-1}(X))_n

$${\mathrm{Match}}_n(X)\simeq ({\mathrm{cosk}}_{n-1}(X){)}_n.$$Match_n(X) \simeq (cosk_{n-1}(X))_n \,.

This is (Ber-Moer, lemma 6.2).

Proof

Observe that for any $s\in S$ of degree $n$, the canonical inclusion

$$i_s:S^{+}(s)\hookrightarrow t_{n-1}/s$$i_s : S^+(s) \hookrightarrow t_{n-1}/ s

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:

$$\begin{array}{rl}{\mathrm{sk}}_{n-1}(X{)}_n(s)& :=(j_n^{*}(t_{n-1}{)}_{!}{t}_{n-1}^{*}X)(s)\\ & \simeq ((t_{n-1}{)}_{!}{t}_{n-1}^{*}X)(s)\\ & \simeq \underset{\underset{t_{n-1}/s}{\to }}{\lim }X\circ t_{n-1}\\ & \simeq \underset{\underset{S^{+}(s)}{\to }}{\lim }X\circ {\mathrm{dom}}_n\\ & \simeq {\mathrm{Latch}}_{n}X\end{array}.$$\begin{aligned} sk_{n-1}(X)_n(s) & := (j_n^* (t_{n-1})_! t_{n-1}^* X )(s) \\ & \simeq ((t_{n-1})_! t_{n-1}^* X )(s) \\ & \simeq \lim_{\underset{t_{n-1}/ s }{\to}} X \circ t_{n-1} \\ & \simeq \lim_{\underset{S^+(s)}{\to}} X \circ dom_n \\ & \simeq Latch_n X \end{aligned} \,.

Lemma

The tower of inclusions

$$S_0\hookrightarrow S_{\le 1}\hookrightarrow \cdots \hookrightarrow S_{\le n-1}\stackrel{q_{n-1}}{\hookrightarrow }{S}_{\le n}\hookrightarrow \cdots$$S_{0} \hookrightarrow S_{\leq 1} \hookrightarrow \cdots \hookrightarrow S_{\leq n-1} \stackrel{q_{n-1}}{\hookrightarrow} S_{\leq n} \hookrightarrow \cdots

induces towers of natural transformations

$$\varnothing \to {\mathrm{sk}}_{0}X\to {\mathrm{sk}}_{1}X\to {\mathrm{sk}}_{2}X\to \cdots \to X,$$\emptyset \to sk_0 X \to sk_1 X \to sk_2 X \to \cdots \to X \,,

and

$$X\to \cdots \to {\mathrm{cosk}}_{2}X\to {\mathrm{cosk}}_{1}X\to {\mathrm{cosk}}_{0}X\to *,$$X \to \cdots \to cosk_2 X \to cosk_1 X \to cosk_0 X \to * \,,

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).

Proof

The morphisms in the tower come from the adjunction units and counits: the morphism

$${\mathrm{sk}}_{n}X\to {\mathrm{sk}}_{n+1}X$$sk_n X \to sk_{n+1} X

is

$$(t_{n+1}{)}_{!}(q_n{)}_{!}{q}_n^{*}{t}_{n+1}^{*}X\to (t_{n+1}{)}_{!}{t}_{n+1}^{*}X.$$(t_{n+1})_! (q_n)_! q_n^* t_{n+1}^*X \to (t_{n+1})_! t_{n+1}^* X \,.

Therefore a cocone under this morphism

$$\begin{array}{cccc}{\mathrm{sk}}_{n-1}X& & \to & {\mathrm{sk}}_{n}X\\ & \searrow & & \swarrow \\ & & Y\end{array}$$\array{ sk_{n-1} X &&\to& sk_n X \\ & \searrow && \swarrow \\ && Y }

is equivalently a diagram

$$\begin{array}{cccc}(q_n{)}_{!}{q}_n^{*}{t}_{n+1}X& & \to & t_{n+1}^{*}X\\ & \searrow & & \swarrow \\ & & t_{n+1}^{*}Y\end{array},$$\array{ (q_{n})_! q_{n}^* t_{n+1} X &&\to& t_{n+1}^* X \\ & \searrow && \swarrow \\ && t_{n+1}^* Y } \,,

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.

Lemma

For every $X\in [S,𝒞]$ and for all pairs $k,l\in \mathbb{N}$ with $k\le l$, we have natural isomorphisms

$${\mathrm{sk}}_k{\mathrm{sk}}_l\simeq {\mathrm{sk}}_l{\mathrm{sk}}_k\simeq {\mathrm{sk}}_k$$sk_k sk_l \simeq sk_l sk_k \simeq sk_k

and

$${\mathrm{cosk}}_k{\mathrm{cosk}}_l\simeq {\mathrm{cosk}}_l{\mathrm{cosk}}_k\simeq {\mathrm{cosk}}_k.$$cosk_k cosk_l \simeq cosk_l cosk_k \simeq cosk_k \,.

Proof

With the above notation we have $t_k=t_l\circ q_k$. Therefore for instance

$${\mathrm{sk}}_k{\mathrm{sk}}_{l}X\simeq (t_l{)}_{!}(q_k{)}_{!}{q}_k^{*}{t}_l^{*}(t_l{)}_{!}{t}_l^{*}X.$$sk_k sk_l X \simeq (t_l)_! (q_k)_! q_k^* t_l^* (t_l)_! t_l^* X \,.

Since the left adjoints here are full and faithful functors we have $t_l^{*}(t_l{)}_{!}\simeq \mathrm{id}$ and hence

$$\cdots \simeq (t_l{)}_{!}(q_k{)}_{!}{q}_k^{*}{t}_l^{*}(t_l{)}_{!}{t}_l^{*}X\simeq {\mathrm{sk}}_{k}X.$$\cdots \simeq (t_l)_! (q_k)_! q_k^* t_l^* (t_l)_! t_l^* X \simeq sk_k X \,.

Similarly for all the other cases.

The following is a useful tool for inductively creating objects by adding higher degree components.

Lemma

Given

• an object $X_{\le (n-1)}\in [S_{\le (n-1)},𝒞]$;

• and an object $X_n\in [G_n(S),𝒞]$;

the choices of $X_{\le n}\in [S_{\le (n-1)},𝒞]$ such that

• $X_{\le (n-1)}=t_{n-1}^{*}{X}_{\le n}$

• $X_n=j_n^{*}X$;

are in bijection with choices of morphisms

$${\mathrm{Latch}}_n(X_{\le (n-1)})\to X_n\to {\mathrm{Match}}_n(X_{\le (n-1)})$$Latch_n(X_{\leq (n-1)}) \to X_n \to Match_n(X_{\leq (n-1)})

in $[G_n(S),𝒞]$.

Accordingly, given morphisms $f_{\le (n-1)}:X_{\le (n-1)}\to Y_{\le (n-1)}$ and $f_n:X_n\to Y_n$, then choice of extensions to a morphism $f_{\le n}:X_{\le n}\to Y_{\le n}$ are in bijection with choices of vertical morphisms in commuting diagrams

$$\begin{array}{ccc}{\mathrm{Latch}}_n(X_{\le (n-1)})& \stackrel{{\mathrm{Latch}}_n(f_{\le (n-1)})}{\to }& {\mathrm{Latch}}_n(Y_{\le (n-1)})\\ \downarrow & & \downarrow \\ X_n& \stackrel{f_n}{\to }& Y_n\\ \downarrow & & \downarrow \\ {\mathrm{Match}}_n(X_{\le (n-1)})& \stackrel{{\mathrm{Match}}_n(f_{\le (n-1)})}{\to }& {\mathrm{Match}}_n(Y_{\le (n-1)})\end{array}.$$\array{ Latch_n(X_{\leq (n-1)}) &\stackrel{Latch_n(f_{\leq (n-1)})}{\to}& Latch_n(Y_{\leq (n-1)}) \\ \downarrow && \downarrow \\ X_n &\stackrel{f_n}{\to}& Y_n \\ \downarrow && \downarrow \\ Match_n(X_{\leq (n-1)}) &\stackrel{Match_n(f_{\leq (n-1)})}{\to}& Match_n(Y_{\leq (n-1)}) } \,.

Proof

If the object exists, then the morphisms do, by the above definitions/discussion. Conversely, given these morphisms, we take $X_{\le n}:S\to 𝒞$ to be given by $X_{\le (n-1)}$ on morphism of degree $\le (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 ${\mathrm{Latch}}_n(X)\to X_n$ and by the cone-components of $X_n\to {\mathrm{Match}}_n(X)$.

Proof of the model category axioms

We discuss that for $S$ a Berger-Moerdijk-generalized Reedy category and $𝒞$ a cofibrantly generated model category, def. 2 indeed defines a model category structure on the functor category $[S,𝒞]$.

Theorem

Def. 2 indeed defines a model structure.

Proof

It is clear that $[S,𝒞]$ 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.

Lifting

We work with the “global” latching objects from above.

Remark

A morphism $f:X\to Y$ in $[S,𝒞{]}_{\mathrm{gReedy}}$ is a Reedy cofibration precisely if for all $n\in \mathbb{N}$ the global relative latching morphism, def. 4

$$X_n\coprod _{{\mathrm{Latch}}_n(X)}{\mathrm{Latch}}_n(Y)\to Y_n$$X_n \coprod_{Latch_n(X)} Latch_n(Y) \to Y_n

is a cofibration in $[G_n(S),𝒞{]}_{\mathrm{proj}/\mathrm{inj}}$.

Proof

The pushout in the presheaf category $[G_n(S),𝒞]$ 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. 2.

The groupoid $G_n(S)$ is equivalent to the disjoint union ${\coprod }_{[r]\in {\pi }_0{G}_n(S)}B{\mathrm{Aut}}_S(s)$ of the automorphism groupoids of one representative in each isomorphism class. A morphism in $[G_n(S),𝒞{]}_{\mathrm{proj}/\mathrm{inj}}$ is a cofibration precisely if its restriction to all of the $[B{\mathrm{Aut}}_{𝒞}(s),𝒞{]}_{\mathrm{proj}/\mathrm{inj}}$ is.

Lemma

In the generalized Reedy structure, def. 2, the following holds.

• Acyclic Reedy cofibrations $f$ such that for all $n\in \mathbb{N}$ the morphism ${\mathrm{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 ${\mathrm{Latch}}_n(g)$ are objectwise acyclic fibrations.

This is (Ber-Moer, lemma 5.2, lemma 5.4).

Proof

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

$$\begin{array}{ccc}A& \stackrel{}{\to }& Y\\ {\downarrow }^{}& & {\downarrow }^{}\\ B& \stackrel{}{\to }& X\end{array}$$\array{ A &\stackrel{}{\to}& Y \\ \downarrow^{\mathrlap{}} && \downarrow^{\mathrlap{}} \\ B &\stackrel{}{\to}& X }

by stepwise constructing lifts in the skeletal filtration, lemma 2.

At $n=0$, observe that since $L_0(X)=\varnothing$ for all $X$, the fact that

$$A_0\coprod _{L_0(A)}{L}_0(B)\to B_0$$A_0 \coprod_{L_0(A)} L_0(B) \to B_0

is a cofibration in $[G_0,𝒞{]}_{\mathrm{proj}/\mathrm{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_{\le 0}$ and so the restriction of the lifting problem along $t_0$

$$\begin{array}{ccc}{A}_0& \stackrel{}{\to }& Y_0\\ {\downarrow }^{}& & {\downarrow }^{}\\ B_0& \stackrel{}{\to }& X_0\end{array}$$\array{ A_0 &\stackrel{}{\to}& Y_0 \\ \downarrow^{\mathrlap{}} && \downarrow^{\mathrlap{}} \\ B_0 &\stackrel{}{\to}& X_0 }

is a lifting problem in $[G_0(S),𝒞{]}_{\mathrm{proj}/\mathrm{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 }_{\le (n-1)}$ in

$$\begin{array}{ccc}{A}_{\le (n-1)}& \stackrel{}{\to }& Y_{\le (n-1)}\\ {\downarrow }^{}& & {\downarrow }^{}\\ B_{\le (n-1)}& \stackrel{}{\to }& X_{\le (n-1)}\end{array}$$\array{ A_{\leq (n-1)} &\stackrel{}{\to}& Y_{\leq (n-1)} \\ \downarrow^{\mathrlap{}} && \downarrow^{\mathrlap{}} \\ B_{\leq (n-1)} &\stackrel{}{\to}& X_{\leq (n-1)} }

has been found. By lemma 1 this induces maps ${\mathrm{Latch}}_n(B)\to {\mathrm{Latch}}_n(Y)$ and ${\mathrm{Match}}_n(B)\to {\mathrm{Match}}_n(Y)$ from which we can build the commuting diagram

(1)$$\begin{array}{ccc}{A}_n\coprod _{{\mathrm{Latch}}_{n}A}{\mathrm{Latch}}_{n}B& \to & Y_n\\ {\downarrow }^{v_n}& & {\downarrow }^{w_n}\\ B_n& \to & X_n{\times }_{{\mathrm{Match}}_{n}X}{\mathrm{Match}}_{n}Y\end{array}$$\array{ A_n \coprod_{Latch_n A} Latch_n B &\to& Y_n \\ \downarrow^{\mathrlap{v_n}} && \downarrow^{\mathrlap{w_n}} \\ B_n &\to& X_n \times_{Match_n X} Match_n Y }

in $[G_n(S),𝒞]$.

Here for instance the top horizontal morphism comes from the commutativity of the square

$$\begin{array}{ccccc}{\mathrm{Latch}}_{n}A& \to & {\mathrm{Latch}}_{n}B& \to & {\mathrm{Latch}}_{n}Y\\ \downarrow & & & & \downarrow \\ A_n& \to & & \to & Y_n\end{array}$$\array{ Latch_n A &\to& Latch_n B &\to& Latch_n Y \\ \downarrow && && \downarrow \\ A_n &\to& &\to& Y_n }

by naturality of the $({\mathrm{sk}}_{n-1}⊣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

$$\begin{array}{ccc}{A}_n\coprod _{{\mathrm{Latch}}_{n}A}{\mathrm{Latch}}_{n}B& \to & Y_n\\ \downarrow & {\nearrow }_{{\gamma }_n}& \\ B_n\end{array}$$\array{ A_n \coprod_{Latch_n A} Latch_n B &\to& Y_n \\ \downarrow &\nearrow_{\gamma_n}& \\ B_n }

is

• a lift in

  $$\begin{array}{ccc}{A}_n& \to & Y_n\\ \downarrow & {\nearrow }_{{\gamma }_n}\\ B_n\end{array}$$\array{ A_n &\to& Y_n \\ \downarrow & \nearrow_{\mathrlap{\gamma_n}} \\ B_n }

• such that it makes

  $$\begin{array}{ccc}{\mathrm{Latch}}_n(B)& \to & {\mathrm{Latch}}_n(Y)\\ \downarrow & & \downarrow \\ B_n& \stackrel{{\gamma }_n}{\to }& Y_n\end{array}$$\array{ Latch_n(B) &\to& Latch_n(Y) \\ \downarrow && \downarrow \\ B_n &\stackrel{\gamma_n}{\to}& Y_n }

  commute;

and in the bottom right the lift

$$\begin{array}{ccc}& & Y_n\\ & {}^{{\gamma }_n}\nearrow & \downarrow \\ B_n& \to & X_n\prod _{{\mathrm{Match}}_{n}X}{\mathrm{Match}}_{n}Y\end{array}$$\array{ && Y_n \\ & {}^{\mathllap{\gamma_n}}\nearrow & \downarrow \\ B_n &\to& X_n \prod_{Match_n X} Match_n Y }

is

• a lift in

  $$\begin{array}{ccc}& & Y_n\\ & {}^{{\gamma }_n}\nearrow & \downarrow \\ B_n& \to & X_n\end{array}$$\array{ && Y_n \\ & {}^{\mathllap{\gamma_n}}\nearrow & \downarrow \\ B_n &\to& X_n }

• such that it makes

  $$\begin{array}{ccc}{B}_n& \stackrel{{\gamma }_n}{\to }& Y_n\\ \downarrow & & \downarrow \\ {\mathrm{Match}}_n(B)& \to & {\mathrm{Match}}_n(Y)\end{array}$$\array{ B_n &\stackrel{\gamma_n}{\to}& Y_n \\ \downarrow && \downarrow \\ Match_n(B) &\to& Match_n(Y) }

  commute.

By lemma 4, this is precisely the data that characterizes an extension of ${\gamma }_{\le (n-1)}$ to ${\gamma }_{\le n}$.

By assumption, the left vertical morphism in (1) is a cofibration in $[G_n,𝒞{]}_{\mathrm{proj}/\mathrm{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 $𝒞$ over each $s\in S$.

Also by assumption we have that ${\mathrm{Latch}}_n(f{)}_s$ is an acyclic cofibration in $𝒞$ for all $s$. Hence so is its pushout $A_s\to (A_s{\coprod }_{{\mathrm{Latch}}_n(A{)}_s}{\mathrm{Latch}}_n(B{)}_s)$. The morphism $v_n(s)$ finally sits in the diagram

$$\begin{array}{ccccc}{\mathrm{Latch}}_n(A{)}_s& \to & A_s& \underset{\simeq }{\overset{f_s}{\to }}& B_s\\ {\downarrow }^{\simeq }& & {\downarrow }^{\simeq }& {\nearrow }_{v_n(s)}\\ {\mathrm{Latch}}_n(B{)}_s& \to & (A_s\coprod _{{\mathrm{Latch}}_n(A{)}_s}{\mathrm{Latch}}_n(B{)}_s)\end{array}$$\array{ Latch_n(A)_s &\to& A_s &\underoverset{\simeq}{f_s}{\to}& B_s \\ \downarrow^{\mathrlap{\simeq}} && \downarrow^{\mathrlap{\simeq}} & \nearrow_{\mathrlap{v_n(s)}} \\ Latch_n(B)_s &\to& (A_s \coprod_{Latch_n(A)_s} Latch_n(B)_s) }

and so is a weak equivalence by two-out-of-three.

Lemma

Suppose $\varphi :R\to S$ is a morphism of generalized Reedy categories such that the induced square (see prop. 1)

$$\begin{array}{ccc}{R}^{+}((k))& \stackrel{{\mathrm{cod}}_k^R}{\to }& G_k(R)\\ {\downarrow }^{{\varphi }_k^{+}}& & {\downarrow }^{{\varphi }_k}\\ S^{+}((k))& \stackrel{{\mathrm{cod}}_k^S}{\to }& G_k(S)\end{array}$$\array{ R^+((k)) &\stackrel{cod_k^R}{\to}& G_k(R) \\ \downarrow^{\mathrlap{\phi_k^+}} && \downarrow^{\mathrlap{\phi_k}} \\ S^+((k)) &\stackrel{cod_k^S}{\to}& G_k(S) }

is a pullback (in the 1-category Cat). Then for each $X\in [S,𝒞]$, there is a natural isomorphism

$${\mathrm{Latch}}_k({\varphi }^{*}(X))\stackrel{\simeq }{\to }{\varphi }_k^{*}({\mathrm{Latch}}_{k}X),$$Latch_k(\phi^*(X)) \stackrel{\simeq}{\to} \phi_k^*(Latch_k X) \,,

Given a Reedy category $S$, examples of $\varphi$ satisfying this condition include

1. $\varphi :={\mathrm{dom}}_n\circ i_n:S^{+}(n)\to S$;

2. $\varphi :=:S_{\le n}\hookrightarrow S$.

This is (Ber-Moer, lemma 4.4).

Proof

The pullback square is part of the diagram

$$\begin{array}{ccccc}R& \stackrel{{\mathrm{dom}}_k^R}{\leftarrow }& R^{+}((k))& \stackrel{{\mathrm{cod}}_k^R}{\to }& G_k(R)\\ {\downarrow }^{\varphi }& & {\downarrow }^{{\varphi }_k^{+}}& & {\downarrow }^{{\varphi }_k}\\ S& \stackrel{{\mathrm{dom}}_k^S}{\leftarrow }& S^{+}((k))& \stackrel{{\mathrm{cod}}_k^S}{\to }& G_k(S)\end{array}$$\array{ R &\stackrel{dom_k^R}{\leftarrow}& R^+((k)) &\stackrel{cod_k^R}{\to}& G_k(R) \\ \downarrow^\phi && \downarrow^{\mathrlap{\phi_k^+}} && \downarrow^{\mathrlap{\phi_k}} \\ S &\stackrel{dom_k^S}{\leftarrow}& S^+((k)) &\stackrel{cod_k^S}{\to}& G_k(S) }

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:

$$\begin{array}{rl}{\mathrm{Latch}}_k{\varphi }^{*}X& \simeq ({\mathrm{cod}}_k^R{)}_{!}({\mathrm{dom}}_k^R{)}^{*}{\varphi }^{*}X\\ & \simeq ({\mathrm{cod}}_k^R{)}_{!}({\varphi }_k^{+}{)}^{*}({\mathrm{dom}}_k^S{)}^{*}X\\ & \simeq ({\varphi }_k{)}^{*}({\mathrm{cod}}_k^R{)}_{!}({\mathrm{dom}}_k^S{)}^{*}X\\ & \simeq ({\varphi }_k{)}^{*}{\mathrm{Latch}}_{k}X\end{array}.$$\begin{aligned} Latch_k \phi^* X & \simeq (cod^R_k)_! (dom^R_k)^* \phi^* X \\ & \simeq (cod^R_k)_! (\phi^+_k)^* (dom^S_k)^* X \\ & \simeq (\phi_k)^* (cod^R_k)_! (dom^S_k)^* X \\ & \simeq (\phi_k)^* Latch_k X \end{aligned} \,.

Now concerning the two examples.

By definition we have

$$(S^{+}(n){)}^{+}((k))\simeq \left\{\begin{array}{ccc}t& \stackrel{\in S^{+}}{\to }& t\prime \\ {\downarrow }^{\in S^{+}}& & {\downarrow }^{\in S^{+}}& & \mathrm{non}\mathrm{invertible}\\ s& \stackrel{\simeq }{\to }& s\prime & & \mathrm{deg}=k\\ {\downarrow }^{\in S^{+}}& & {\downarrow }^{\in S^{+}}& & \mathrm{non}\mathrm{invertible}\\ r& \stackrel{\mathrm{id}}{\to }& r& & \mathrm{deg}=n\end{array}\right\},$$(S^+(n))^+((k)) \simeq \left\{ \array{ t &\stackrel{\in S^+}{\to}& t' \\ \downarrow^{\mathrlap{\in S^+}} && \downarrow^{\mathrlap{\in S^+}} && non\; invertible \\ s &\stackrel{\simeq}{\to}& s' && deg = k \\ \downarrow^{\mathrlap{\in S^+}} && \downarrow^{\mathrlap{\in S^+}} && non \; invertible \\ r &\stackrel{id}{\to}& r && deg = n } \right\} \,,

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. 5 is in fact automatic.

Lemma

Let $f:X\to Y$ in $[S,𝒞]$ be a Reedy cofibration, which is a weak equivalence on all objects of degree $<n$. Then the morphism ${\mathrm{Latch}}_n(f):{\mathrm{Latch}}_n(X)\to {\mathrm{Latch}}_n(Y)$ is over each $s\in S$ an acyclic cofibration in $𝒞$

This is (Ber-Moer, lemma 5.3).

Proof

We show this by induction over $n$, using the skeletal filtration def. 5. For $n=0$ we have for all $X$ that ${\mathrm{Latch}}_{n}X={\mathrm{sk}}_{-1}X=\varnothing$, and hence the condition is trivially satisfied.

So assume now that the statement has been shown for all $(k<n)$, then we need to show that $i_n^{*}{\mathrm{Latch}}_{n}f$ is an acyclic cofibration in $[\mathrm{Obj}(S{)}_n,𝒞]$, hence that every square of the form

$$\begin{array}{ccc}{i}_n^{*}{\mathrm{Latch}}_{n}A& \to & Y\\ {\downarrow }^{i_n^{*}{\mathrm{Latch}}_{n}f}& & {\downarrow }^g\\ i_n^{*}{\mathrm{Latch}}_{n}B& \to & X\end{array}$$\array{ i_n^* Latch_n A &\to& Y \\ \downarrow^{\mathrlap{i_n^* Latch_n f}} && \downarrow^{g} \\ i_n^* Latch_n B &\to& X }

with $g$ a fibration in $[\mathrm{Obj}(S{)}_n,𝒞{]}_{\mathrm{proj}/\mathrm{inh}}$ (hence over every object of degree $n$) has a lift. Since by lemma 1 we have

$$i_n^{*}{\mathrm{Latch}}_n:=i_n^{*}{\mathrm{cod}}_{!}{\mathrm{dom}}_n^{*}\simeq {\mathrm{cod}}_{!}{i}_n^{*}{\mathrm{dom}}_n^{*}$$i^*_n Latch_n := i_n^* cod_! dom_n^* \simeq cod_! i_n^* dom_n^*

such a filler is equivalently a filler in

(2)$$\begin{array}{ccc}{i}_n^{*}{\mathrm{dom}}_n^{*}A& \to & {\mathrm{cod}}_n^{*}Y\\ {}^{i_n^{*}{\mathrm{dom}}_n^{*}}\downarrow & & \downarrow \\ i_n^{*}{\mathrm{dom}}_n^{*}B& \to & {\mathrm{cod}}_n^{*}X\end{array}$$\array{ i_n^* dom_n^* A &\to& cod_n^* Y \\ {}^{\mathllap{i_n^* dom_n^*}}{}\downarrow && \downarrow \\ i_n^* dom_n^* B &\to& cod_n^* X }

being a diagram in $[S^{+}(n),𝒞]$.

We now establish such a filler by using lemma 5 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^{*}{\mathrm{dom}}_n^{*}f$ is a Reedy weak equivalence in this structure, since all its objects have degree $<n$. It is now sufficient to show that the assumptions of lemma 5 are satisfied over $S^{+}(n)$, to obtain the lift.

By lemma 6 the functor

$$({\mathrm{dom}}_n{i}_n{)}^{*}:[G_k(S),𝒞]\to [G_k(S^{+}(n)),𝒞]$$(dom_n i_n)^* : [G_k(S), \mathcal{C}] \to [G_k(S^+(n)), \mathcal{C}]

intertwines the latching objects on both sides. Therefore we have an isomorphism between the relative latching morphism of interest

$$({\mathrm{dom}}_n{i}_n{)}^{*}A\coprod _{{\mathrm{Latch}}_k({\mathrm{dom}}_n{i}_n{)}^{*}A}{\mathrm{Latch}}_k({\mathrm{dom}}_n{i}_n{)}^{*}k\to ({\mathrm{dom}}_n{i}_n{)}^{*}B$$(dom_n i_n)^* A \coprod_{Latch_k (dom_n i_n)^* A} Latch_k (dom_n i_n)^* k \to (dom_n i_n)^* B

and the morphism

$$({\mathrm{dom}}_n{i}_n{)}_k^{*}(A_k\coprod _{{\mathrm{Latch}}_k(A)}{\mathrm{Latch}}_k(B)\to B_k).$$(dom_n i_n)_k^*\left( A_k \coprod_{Latch_k(A)} Latch_k(B) \to B_k \right) \,.

Since $({\mathrm{dom}}_n{i}_n{)}_k$ is a faithful functor between groupoids, $({\mathrm{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 $({\mathrm{dom}}_n{i}_n{)}^{*}(f)$ is a Reedy cofibration. Similarly, since ${\mathrm{Latch}}_k(f)$ is an acyclic cofibration by induction hypothesis, so is ${\mathrm{Latch}}_k(({\mathrm{dom}}_n{i}_n{)}_k^{*}f)$. This way the assumption of lemma 5 are checked for (2) and so we do have a lift.

Lemma

Dually, let $f:X\to Y$ in $[S,𝒞]$ be a Reedy fibration which is a weak equivalence over all objects of degree $<n$. Then the morphism ${\mathrm{Match}}_n(f):{\mathrm{Match}}_n(X)\to {\mathrm{Match}}_n(Y)$ is over each $s\in S$ an acyclic fibration in $𝒞$.

This is (Ber-Moer, lemma 5.4).

Proof

(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:

Proposition

In the generalized Reedy model structure, def. 2,

• acyclic cofibrations have the left lifting property against fibrations;

• cofibrations have the left lifting property against acyclic fibrations.

Proof

By lemma 7 every acyclic Reedy cofibration induces a weak equivalence under ${\mathrm{Latch}}_n$. By lemma 5 this implies the left lifting property against Reedy fibrations. Dually for the second statement.

Factorization

We demonstrate the factorization axiom in the Reedy model structure, def. 2.

Lemma

A morphism $f:X\to Y$ in $[S,𝒞]$ is both a cofibration and a weak equivalence according to def. 2 precisely if the $n$th relative latching morphism (def. 4)

$$X_n\coprod _{{\mathrm{Latch}}_n(X)}{\mathrm{Latch}}_n(Y)\to Y_n$$X_n \coprod_{Latch_n(X)} Latch_n(Y) \to Y_n

is an acyclic cofibration in $[G_n(S),𝒞{]}_{\mathrm{proj}/\mathrm{inj}}$ for all $n\in \mathbb{N}$.

Dually, a morphism $f:X\to Y$ in $[S,𝒞]$ is both a fibration and a weak equivalence according to def. 2 precisely if the $n$th relative matching morphism (def. 4)

$$X_n\to Y_n\prod _{{\mathrm{Match}}_n(X)}{\mathrm{Match}}_n(Y)$$X_n \to Y_n \prod_{Match_n(X)} Match_n(Y)

is an acyclic fibration in $[G_n(S),𝒞{]}_{\mathrm{proj}/\mathrm{inj}}$ for all $n\in \mathbb{N}$.

This is (Ber-Moer, prop. 5.6).

Proof

By definition, the morphisms $f_n:X_n\to Y_n$ factor as

$$f_n:X_n\stackrel{u_n}{\to }{X}_n\coprod _{{\mathrm{Latch}}_n(X)}{\mathrm{Latch}}_n(Y)\stackrel{v_n}{\to }{Y}_n.$$f_n : X_n \stackrel{u_n}{\to} X_n \coprod_{Latch_n(X)} Latch_n (Y) \stackrel{v_n}{\to} Y_n \,.

If now $f$ is an acyclic Reedy cofibration, then by lemma 7 the morphism ${\mathrm{Latch}}_n(X)\to {\mathrm{Latch}}_n(Y)$ is over each object an acyclic cofibration in $𝒞$ 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=\mathrm{id}$, and so this case is satisfied. So assume now that all $u_k$ for $k<n$ are weak equivalences. Then the assumptions of lemma 7 are again satisfied, and it follows that ${\mathrm{Latch}}_n(f):{\mathrm{Latch}}_n(X)\to {\mathrm{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.

Proposition

Every morphism in $[S,𝒞]$ 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).

Proof

Let $f:X\to Y$ be any morphism in $[S,𝒞]$. 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,𝒞]\to [S_{\le n},𝒞]$. The other case (cofibration followed by acyclic fibration) works dually.

For $n=0$ we have $S_{\le 0}=G_0(S)$ and we factor $f_0$ in the model structure $[G_0(S),𝒞{]}_{\mathrm{proj}/\mathrm{inj}}$

$$f_0:X_0\stackrel{\simeq }{\to }{A}_0\to Y_0.$$f_0 : X_0 \stackrel{\simeq}{\to} A_0 \to Y_0 \,.

Now assume for some $n\in \mathbb{N}$ that a factorization of

$$f_{\le (n-1)}:X_{\le (n-1)}\stackrel{\simeq }{\to }{A}_{\le (n-1)}\to Y_{\le (n-1)}$$f_{\leq (n-1)} : X_{\leq (n-1)} \stackrel{\simeq}{\to} A_{\leq (n-1)} \to Y_{\leq (n-1)}

has been found. This induces the commutative diagram

$$\begin{array}{ccccc}{\mathrm{Latch}}_n(X)& \to & {\mathrm{Latch}}_n(A)& \to & {\mathrm{Latch}}_n(Y)\\ \downarrow & & & & \downarrow \\ X_n& & & & Y_n\\ \downarrow & & & & \downarrow \\ {\mathrm{Match}}_n(X)& \to & {\mathrm{Match}}_n(A)& \to & {\mathrm{Match}}_n(Y)\end{array}.$$\array{ Latch_n(X) &\to & Latch_n(A) &\to& Latch_n(Y) \\ \downarrow && && \downarrow \\ X_n && && Y_n \\ \downarrow && && \downarrow \\ Match_n(X) &\to & Match_n(A) &\to& Match_n(Y) } \,.

This diagram in turn induces a morphism

$$X_n\coprod _{{\mathrm{Latch}}_n(X)}{\mathrm{Latch}}_n(A)\to Y_n\prod _{{\mathrm{Match}}_n(Y)}{\mathrm{Match}}_n(A)$$X_n \coprod_{Latch_n(X)} Latch_n(A) \to Y_n \prod_{Match_n(Y)} Match_n(A)

in $[G_n(S),𝒞]$, which we may factor as a trivial cofibration followed by a fibration

$$X_n\coprod _{{\mathrm{Latch}}_n(X)}{\mathrm{Latch}}_n(A)\stackrel{\simeq }{\to }{A}_n\to Y_n\prod _{{\mathrm{Match}}_n(Y)}{\mathrm{Match}}_n(A)$$X_n \coprod_{Latch_n(X)} Latch_n(A) \stackrel{\simeq}{\to} A_n \to Y_n \prod_{Match_n(Y)} Match_n(A)

in $[G_n(S),𝒞{]}_{\mathrm{proj}/\mathrm{inj}}$.

By lemma 4, the “righmost component” of this data defines an extension of $A_{\le (n-1)}$ to $A_{\le 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_{\le n}$. 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).

Properties

Homotopy skeletal filtration and coskeleton tower

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.

Lemma

For all $n\in \mathbb{N}$

1. The left Kan extension

   $$(t_n{)}_{!}:[S_{\le n},𝒞{]}_{\mathrm{gReedy}}\to [S,𝒞{]}_{\mathrm{gReedy}}$$(t_n)_! : [S_{\leq n}, \mathcal{C}]_{gReedy} \to [S,\mathcal{C}]_{gReedy}

   is a left Quillen functor.

2. The right Kan extension

   $$(t_n{)}_{*}:[S_{\le n},𝒞{]}_{\mathrm{gReedy}}\to [S,𝒞{]}_{\mathrm{gReedy}}$$(t_n)_* : [S_{\leq n}, \mathcal{C}]_{gReedy} \to [S,\mathcal{C}]_{gReedy}

   is a right Quillen functor.

3. The restriction functor

   $$(t_n{)}^{*}:[S,𝒞{]}_{\mathrm{gReedy}}\to [S_{\le n},𝒞{]}_{\mathrm{gReedy}}$$(t_n)^* : [S, \mathcal{C}]_{gReedy} \to [S_{\leq n},\mathcal{C}]_{gReedy}

   is both a left and a right Quillen functor.

This is (Ber-Moer, lemma 6.4).

Proposition

1. If $X\in [S,𝒞]$ is Reedy cofibrant according to def. 2, then all ${\mathrm{sk}}_{n}X$ are Reedy cofibrant and the canonical morphisms ${\mathrm{sk}}_{k}X\to {\mathrm{sk}}_{l}X$ are Reedy cofibrations.

2. If $X\in 𝒞$ is Reedy fibrant according to def. 2 then all ${\mathrm{cosk}}_{n}X$ are Reedy fibrant and the canonical morphisms ${\mathrm{cosk}}_{l}X\to {\mathrm{cosk}}_{k}X$ are Reedy fibrations.

This is (Ber-Moer, prop. 6.5).

Proof

We discuss the skeleta. The case of coskeleta is dual.

By lemma 3 it is sufficient to consider the case ${\mathrm{sk}}_{n}X\to {\mathrm{sk}}_{\mathrm{\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

$$\begin{array}{ccc}{\mathrm{Latch}}_k({\mathrm{sk}}_{n}X)& \to & {\mathrm{Latch}}_k(X)\\ \downarrow & & \downarrow \\ {\mathrm{sk}}_n(X{)}_k& \to & X_k\end{array}.$$\array{ Latch_k(sk_n X) &\to& Latch_k (X) \\ \downarrow && \downarrow \\ sk_n(X)_k &\to& X_k } \,.

For $k\le n$, the horizontal morphisms are both isomorphisms. Because by lemma 1 the top morphism is

$$({\mathrm{sk}}_{k-1}{\mathrm{sk}}_n(X){)}_k\to ({\mathrm{sk}}_{k-1}X{)}_k$$(sk_{k-1} sk_n(X))_k \to (sk_{k-1} X)_k

and this is an iso by lemma 3. The bottom morphism is isomorphic to $(t_k^{*}{\mathrm{sk}}_n(X){)}_k\to (t_k^{*}X{)}_k$ 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 $k>n$ the left vertical map is an isomorphism, so that the relative latching morphism in this case is ${\mathrm{Latch}}_k(X)\to X_k$, which is a cofibration by the assumption that $X$ is Reedy cofibrant.

Finally, that ${\mathrm{sk}}_{n}X$ is cofibrant follows directly from lemma 10.

Relation to other model structures

(…)

Example

• 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.

Related concepts

• Joyal-Tierney calculus

References

• Clemens Berger and Ieke Moerdijk, On an extension of the notion of Reedy category, Math. Z. (2008) (arXiv:0809.3341)