# Kerodon

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

Corollary 5.4.6.11. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be minimal $\infty$-categories. Then $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ are equivalent if and only if they are isomorphic.