# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Proposition 1.5.5.14. Let $T$ be the collection of all monomorphisms in the category $\operatorname{Set_{\Delta }}$ of simplicial sets. Then:

$(a)$

The collection $T$ is weakly saturated, in the sense of Definition 1.5.4.12.

$(b)$

As a weakly saturated collection of morphisms, $T$ is generated by the collection of inclusion maps $\{ \operatorname{\partial \Delta }^ n \hookrightarrow \Delta ^ n \} _{n \geq 0}$ (see Remark 1.5.4.14).

Proof. To prove $(a)$, we must establish the following:

• The collection $T$ is closed under pushouts. That is, if we are given a pushout diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ A \ar [d]^{f} \ar [r] & A' \ar [d]^{f'} \\ B \ar [r] & B' }$

where $f$ is a monomorphism, then $f'$ is also a monomorphism. This is clear, since we have a pushout diagram

$\xymatrix@R =50pt@C=50pt{ A_{n} \ar [d] \ar [r] & A'_{n} \ar [d] \\ B_{n} \ar [r] & B'_{n} }$

in the category of sets for each $n \geq 0$ (where the left vertical map is injective, so the right vertical map is injective as well).

• The collection $T$ is closed under retracts. This is a special case of Exercise 1.5.4.8.

• The collection $T$ is closed under transfinite composition. Suppose we are given an ordinal $\alpha$ and a functor $S: \mathrm{Ord}_{\leq \alpha } \rightarrow \operatorname{Set_{\Delta }}$, given by a collection of simplicial sets $\{ S(\beta ) \} _{ \beta \leq \alpha }$ and transition maps $f_{\gamma ,\beta }: S(\beta ) \rightarrow S(\gamma )$. Assume that the maps $f_{\beta +1,\beta }$ are monomorphisms for $\beta < \alpha$ and that, for every nonzero limit ordinal $\lambda \leq \alpha$, the induced map $\varinjlim _{\beta < \lambda } S(\beta ) \rightarrow S(\lambda )$ is an isomorphism. We must show that the map $f_{\alpha ,0}: S(0) \rightarrow S(\alpha )$ is a monomorphism of simplicial sets. In fact, we claim that for each $\gamma \leq \alpha$, the map $f_{\gamma ,0}: S(0) \rightarrow S(\gamma )$ is a monomorphism. The proof proceeds by transfinite induction on $\gamma$. In the case $\gamma = 0$, the map $f_{\gamma ,0} = \operatorname{id}_{ S(0) }$ is an isomorphism. If $\gamma$ is a nonzero limit ordinal, then the desired result follows from our inductive hypothesis, since the collection of monomorphisms in $\operatorname{Set_{\Delta }}$ is closed under filtered colimits. If $\gamma = \beta + 1$ is a successor ordinal, then we can identify $f_{\gamma ,0}$ with the composition

$S(0) \xrightarrow { f_{\beta ,0} } S(\beta ) \xrightarrow { f_{\gamma ,\beta } } S(\gamma ),$

where $f_{\gamma ,\beta }$ is a monomorphism by assumption and $f_{\beta ,0}$ is a monomorphism by virtue of our inductive hypothesis.

We now prove $(b)$. Let $T'$ be a collection of morphisms in $\operatorname{Set_{\Delta }}$ which is weakly saturated and contains each of the inclusions $\operatorname{\partial \Delta }^ n \hookrightarrow \Delta ^ n$; we wish to show that every monomorphism $i: A \rightarrow B$ belongs to $T'$. For each $k \geq -1$, let $B(k) \subseteq B$ denote the simplicial subset given by the union of the skeleton $\operatorname{sk}_ k( B )$ (Construction 1.1.4.1) with the image of $i$. Then the inclusion $i$ can be written as a transfinite composition

$A \simeq B(-1) \hookrightarrow B(0) \hookrightarrow B(1) \hookrightarrow B(2) \hookrightarrow \cdots$

Since $T'$ is closed under transfinite composition, it will suffice to show that each of the inclusion maps $B(k-1) \hookrightarrow B(k)$ belongs to $T'$. Applying Proposition 1.1.4.12 to both $A$ and $B$, we obtain a pushout diagram

$\xymatrix@R =50pt@C=50pt{ \underset { \sigma \in Q }{\coprod } \operatorname{\partial \Delta }^{k} \ar [r] \ar [d] & \underset { \sigma \in Q }{\coprod } \Delta ^{k} \ar [d] \\ B(k-1) \ar [r] & B(k) }$

where $Q$ denotes the collection of all nondegenerate $k$-simplices of $B$ which do not belong to the image of $i$. Since $T'$ is closed under pushouts, we are reduced to showing that the inclusion map

$j: \coprod _{\sigma \in Q} \operatorname{\partial \Delta }^ k \hookrightarrow \coprod _{ \sigma \in Q} \Delta ^ k$

belongs to $T'$. By virtue of Theorem 4.7.1.34, the set $Q$ admits a well-ordering. Then $j$ can be written as a transfinite composition of morphisms

$j_{\sigma }: (\coprod _{ \tau \geq \sigma } \operatorname{\partial \Delta }^ k ) \amalg ( \coprod _{\tau < \sigma } \Delta ^ k ) \hookrightarrow (\coprod _{ \tau > \sigma } \operatorname{\partial \Delta }^ k ) \amalg ( \coprod _{\tau \leq \sigma } \Delta ^ k ),$

each of which is a pushout of the inclusion $\operatorname{\partial \Delta }^ k \hookrightarrow \Delta ^ k$. $\square$