# Kerodon

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

Example 7.2.3.15. Let $\pi : \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a cocartesian fibration of $\infty$-categories, let $X$ be an object of $\operatorname{\mathcal{D}}$, and set $\operatorname{\mathcal{C}}_{X} = \{ X\} \times _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{C}}$. If $X$ is a final object of $\operatorname{\mathcal{D}}$, then the inclusion map $\operatorname{\mathcal{C}}_{X} \hookrightarrow \operatorname{\mathcal{C}}$ is right anodyne, and therefore right cofinal. This follows by combining Corollaries 7.2.3.14 and 4.6.6.25.