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

Proposition Let $n \geq 0$ be an integer and let $f: A \rightarrow B$ be a morphism of simplicial sets which is bijective on simplices of dimension $< n$ and surjective on $n$-simplices. Then $f$ is categorically $n$-connective.

Proof. Using Proposition, we can choose a simplicial subset $A' \subseteq \operatorname{sk}_{n}(A)$ which contains the $(n-1)$-skeleton of $A$, such that $f$ restricts to an isomorphism of $A'$ with the $n$-skeleton of $B$. It follows from Example $f|_{A'}$ is categorically $n$-connective, and that the inclusion map $A' \hookrightarrow A$ is categorically $(n-1)$-connective. Applying Remark, we deduce that $f$ is categorically $n$-connective. $\square$