Corollary 4.5.1.6. The inclusion functor $\mathrm{h} \mathit{\operatorname{Kan}} \hookrightarrow \mathrm{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}$