Remark 1.4.6.11. We will see later that the converse to Proposition 1.4.6.10 is also true: if $\operatorname{\mathcal{C}}$ is an $\infty $-category in which every morphism is an isomorphism, then $\operatorname{\mathcal{C}}$ is a Kan complex (Proposition 4.4.2.1).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$