Definition 6.3.7.6. Let $S$ be a simplicial set. We say that $S$ is nonsingular if, for every every nondegenerate $n$-simplex $\sigma $ of $S$, the corresponding map $\sigma : \Delta ^ n \rightarrow S$ is a monomorphism of simplicial sets.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$