Corollary 5.3.5.3. For every category $\operatorname{\mathcal{C}}$, levelwise equivalence determines an equivalence relation on the set of functors from $\operatorname{\mathcal{C}}$ to $\operatorname{QCat}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$