Corollary 8.2.6.6. Let $\operatorname{\mathcal{C}}_{-}$ and $\operatorname{\mathcal{C}}_{+}$ be $\infty $-categories. Then $\operatorname{\mathcal{C}}_{-}$ and $\operatorname{\mathcal{C}}_{+}$ are equivalent if and only if there exists a balanced coupling $\lambda : \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}_{-}^{\operatorname{op}} \times \operatorname{\mathcal{C}}_{+}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$