# Kerodon

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

Corollary 4.3.6.13. Let $\operatorname{\mathcal{C}}$ be an $\infty$-category, let $f: K \rightarrow \operatorname{\mathcal{C}}$ be a morphism of simplicial sets, and let $f_0 = f|_{K_0}$ be the restriction of $f$ to a simplicial subset $K_0 \subseteq K$. If the inclusion $K_0 \hookrightarrow K$ is left anodyne, then the restriction map $\operatorname{\mathcal{C}}_{/f} \rightarrow \operatorname{\mathcal{C}}_{/f_0}$ is a trivial Kan fibration. If the inclusion $K_0 \hookrightarrow K$ is right anodyne, then the restriction map $\operatorname{\mathcal{C}}_{f/} \rightarrow \operatorname{\mathcal{C}}_{f_0/}$ is a trivial Kan fibration.

Proof. Apply Proposition 4.3.6.12 to the inner fibration $q: \operatorname{\mathcal{C}}\rightarrow \Delta ^{0}$. $\square$