Definition 8.2.0.1. Let $\operatorname{\mathcal{C}}_{-}$ and $\operatorname{\mathcal{C}}_{+}$ be $\infty $-categories. A coupling of $\operatorname{\mathcal{C}}_{+}$ with $\operatorname{\mathcal{C}}_{-}$ is an $\infty $-category $\operatorname{\mathcal{C}}$ equipped with a left fibration $\lambda : \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}^{\operatorname{op}}_{-} \times \operatorname{\mathcal{C}}_{+}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$