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