# Kerodon

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

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.