Definition 8.2.3.1. Let $G: \operatorname{\mathcal{C}}_{+} \rightarrow \operatorname{\mathcal{C}}_{-}$ be a functor of $\infty $-categories. We will say that a coupling $\lambda : \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}_{-}^{\operatorname{op}} \times \operatorname{\mathcal{C}}_{+}$ is representable by $G$ if it is equivalent (as a left fibration over $\operatorname{\mathcal{C}}_{-}^{\operatorname{op}} \times \operatorname{\mathcal{C}}_{+}$) to the coupling $\lambda _{G}$ of Construction 8.2.0.3.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$