Proposition 4.2 in Goerss & Jardine's *Simplicial homotopy theory* I'm having trouble filling in a detail in Goerss and Jardine's book Simplicial homotopy theory. Their Proposition 4.2 claims that two classes of monomorphisms $\mathbf{B}_2\subset\mathbf{B}_3$ in the category of simplicial sets define the same saturated class, in their notation, $M_{\mathbf{B}_2}=M_{\mathbf{B}_3}$.

How do you prove $M_{\mathbf{B}_2}=M_{\mathbf{B}_3}$?

I'm following their proof suggestion. The first few paragraphs are to introduce notation; there is a specific point that I don't see how to deal with (see the highlighted bit at the end).

$\mathbf{B}_2$ is the class of all inclusions
$$\Delta^1\times\partial\Delta^n\underset{e\times\Delta^n}{\cup}e\times\Delta^n\;\hookrightarrow\; \Delta^1\times\Delta^n$$
(simply written $\Delta^1\times\partial\Delta^n \cup e\times\Delta^n\hookrightarrow\Delta^1\times\Delta^n$) with $e=0,1$, while
$\mathbf{B}_3$ is the class of all inclusions
$$\Delta^1\times A\cup e\times X\;\hookrightarrow\; \Delta^1\times X$$
again, $e=0,1$, where $A\hookrightarrow X$ is an arbitrary monomorphism.

Obvisouly $M_{\mathbf{B}_2}\subset M_{\mathbf{B}_3}$. The text provides an indication as to how to prove the reverse inclusion: for every inclusion $A\subset X$, $X$ is obtained from $A$ by adjoining cells. Inspired by the proof of Corollary 4.6, I tried to prove that the class $\cal C$ of all monomorphisms $A\hookrightarrow X$ such that $\left(\Delta^1\times A\cup e\times X\;\hookrightarrow\; \Delta^1\times X\right)\in M_{\mathbf{B}_2}$ is a saturated class (minus the stability by retracts part).
By definition of $M_{\mathbf{B}_2}$, $\cal C$ contains all boundary inclusions $\partial\Delta^n\subset\Delta^n$. Also, every inclusion $A\hookrightarrow X$, $X$ can be recovered as a colimit of complexes $X^{(n)}$, $n\geq -1$, with $X^{(-1)}=A$ and $X^{(n)}$ is obtained from $X^{(n-1)}$ by adjoining cells, i.e. as a pushout diagram
$$\begin{matrix}
\coprod\partial\Delta^n & \hookrightarrow & \coprod\Delta^n\\
\downarrow &&\downarrow\\
X^{(n-1)} &\rightarrow & X^{(n)}
\end{matrix}$$
(the coproduct is taken over all non-degenerate $n$-simplices in $X$ that aren't already in $A$)
Then stability by transfinite composition of $\cal C$ would guarantee that the inclusion
$$A\hookrightarrow\mathrm{colim}_n X^{(n)}$$ is in $\cal C$, but this inclusion is isomorphic to the original inclusion $A\hookrightarrow X$ and so $\cal C$ would be the class of all monomorphisms, proving $M_{\mathbf{B}_3}\subset M_{\mathbf{B}_2}$


I can prove that $\cal C$ contains all isomorphisms, is closed under pushouts and arbitrary coproducts, but I don't see why it is stable under countable compositions (I don't think I need stability under retracts).


While the above solution is correct, I just wanted to remark that this proof can also be found as Theorem 2.2.1 (page 61) in the book of Gabriel-Zisman.
