# Kerodon

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

Example 4.3.7.10. Let $X$ and $Y$ be simplicial sets. If $X$ is weakly contractible, then Proposition 4.3.7.9 guarantees that the inclusion $\iota _{X}: X \hookrightarrow X \star Y$ is left anodyne. If $Y$ is weakly contractible, then Proposition 4.3.7.9 guarantees that the inclusion $\iota _{Y}: Y \hookrightarrow X \star Y$ is right anodyne.