Kerodon

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

Remark 2.3.1.19. Let $G$ be a monoid, regarded as a monoidal category having only identity morphisms. Then the classifying simplicial set $B_{\bullet }G$ of Example 2.3.1.18 agrees (up to canonical isomorphism) with the simplicial set $B_{\bullet }G$ given by Construction 1.3.2.5.