Corollary 9.3.3.12. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $n$ be an integer. Then the collection of $n$-truncated morphisms of $\operatorname{\mathcal{C}}$ is closed under retracts (in the $\infty $-category $\operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}})$).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$