Corollary 4.5.1.6. The inclusion functor $\operatorname {h}\! \mathit{\operatorname{Kan}} \hookrightarrow \operatorname {h}\! \mathit{\operatorname{QCat}}$ of Remark 4.5.1.4 admits a right adjoint, given on objects by the construction $\operatorname{\mathcal{C}}\mapsto \operatorname{\mathcal{C}}^{\simeq }$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$