Corollary 10.3.3.23. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category with images. Then the collection of quotient morphisms in $\operatorname{\mathcal{C}}$ is closed under retracts (in the $\infty $-category $\operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}})$).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$