Corollary 8.5.6.17. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}'$ be a Morita equivalence of simplicial sets. Then $F$ is right cofinal.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proof. Apply Corollary 8.5.6.16 in the special case where $G$ is the identity morphism $\operatorname{id}_{\operatorname{\mathcal{C}}}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}$. $\square$