Remark 1.3.2.13. Construction 1.3.2.5 and Variant 1.3.2.12 are compatible: if $M$ is a monoid and $B_{\bullet } M$ is the classifying simplicial set of Construction 1.3.2.5, then the underlying semisimplicial set of $B_{\bullet } M$ is given by Variant 1.3.2.12.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$