Example 9.3.4.8. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category containing a final object ${\bf 1}$, and let $X$ be an object of $\operatorname{\mathcal{C}}$. Then there is a morphism $f: X \rightarrow {\bf 1}$, which is uniquely determined up to homotopy. It follows from Example 9.3.4.7 that $f$ is a monomorphism if and only if $X$ is subterminal.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$