# Kerodon

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

Example 4.3.6.7. Let $f: A \hookrightarrow B$ be an inner anodyne morphism of simplicial sets. Then the inclusion maps $f^{\triangleright }: A^{\triangleright } \hookrightarrow B^{\triangleright }$ and $i^{\triangleleft }: A^{\triangleleft } \hookrightarrow B^{\triangleleft }$ are inner anodyne.