Exercise 10.3.3.24. Show that the conclusion of Corollary 10.3.3.23 holds for every $\infty $-category $\operatorname{\mathcal{C}}$: that is, it is not necessary to assume that $\operatorname{\mathcal{C}}$ has images.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$