Kerodon

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

Corollary 4.5.3.14. Let $f: A \hookrightarrow B$ be an inner anodyne morphism of simplicial sets. Then $f$ is a categorical equivalence.

Proof. By virtue of Proposition 4.5.3.8, it will suffice to show that for every $\infty $-category $\operatorname{\mathcal{C}}$, the restriction map $f^{\ast }: \operatorname{Fun}(B, \operatorname{\mathcal{C}}) \rightarrow \operatorname{Fun}(A, \operatorname{\mathcal{C}})$ is an equivalence of $\infty $-categories. This follows from Corollary 4.5.3.12, since $f^{\ast }$ is a trivial Kan fibration (Proposition 1.5.7.6). $\square$