Example 4.8.6.27. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a morphism of simplicial sets. Then $F$ is a $1$-categorical inner fibration (Definition 4.8.6.24) if and only if it is an inner covering map (Definition 4.1.5.1).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$