Kerodon

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

Remark 6.3.1.2. In the context of Notation 6.3.1.1, we will usually be interested in the situation where the simplicial set $\operatorname{\mathcal{C}}$ is an $\infty $-category (as suggested by the notation). However, it will be technically convenient to allow more general simplicial sets as well.