# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

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}$.