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

Proposition Let $X_{\bullet }$ be a simplicial set. The following conditions are equivalent:


The simplicial set $X_{\bullet }$ is discrete (Definition That is, $X_{\bullet }$ is isomorphic to a constant simplicial set $\underline{S}_{\bullet }$.


For every morphism $\alpha : [m] \rightarrow [n]$ in the category $\operatorname{{\bf \Delta }}$, the induced map $X_{n} \rightarrow X_{m}$ is a bijection.


For every positive integer $n$, the $0$th face map $d_0: X_{n} \rightarrow X_{n-1}$ is a bijection.


The simplicial set $X_{\bullet }$ has dimension $\leq 0$, in the sense of Definition That is, $X_{\bullet }$ does not contain any nondegenerate $n$-simplices for $n > 0$.

Proof. The implication $(1) \Rightarrow (2)$ follows from Remark, and the implication $(2) \Rightarrow (3)$ is immediate. To prove that $(3) \Rightarrow (4)$, we observe that if the face map $d_0: X_{n} \rightarrow X_{n-1}$ is bijective, then the degeneracy operator $s_0: X_{n-1} \rightarrow X_{n}$ is also bijective (since it is a right inverse of $d_0$). In particular, $s_0$ is surjective, so every $n$-simplex of $X_{\bullet }$ is degenerate.

We complete the proof by showing that $(4) \Rightarrow (1)$. If $X_{\bullet }$ is a simplicial set of dimension $\leq 0$ and $S = X_0$ is the set of vertices of $X_{\bullet }$, then Proposition supplies an isomorphism of simplicial sets $\coprod _{v \in S} \Delta ^{0} \simeq X_{\bullet }$, whose domain can be identified with the constant simplicial set $\underline{S}_{\bullet }$ (by virtue of Remark and Example $\square$