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

Proposition Suppose we are given a morphism of couplings

\begin{equation} \begin{gathered}\label{equation:duality-functor-left-to-right2} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}\ar [r]^-{ \widetilde{G} } \ar [d]^{\lambda } & \operatorname{Tw}(\operatorname{\mathcal{C}}_{-}) \ar [d]^{\mu } \\ \operatorname{\mathcal{C}}^{\operatorname{op}}_{-} \times \operatorname{\mathcal{C}}_{+} \ar [r]^-{ \operatorname{id}\times G } & \operatorname{\mathcal{C}}_{-}^{\operatorname{op}} \times \operatorname{\mathcal{C}}_{-}, } \end{gathered} \end{equation}

The following conditions are equivalent:


The diagram (8.37) exhibits the coupling $\lambda $ as represented by the functor $G$ (in the sense of Definition


For every object $C \in \operatorname{\mathcal{C}}_{+}$, the functor $\widetilde{G}$ induces an equivalence of $\infty $-categories

\[ \widetilde{G}_{C}: \operatorname{\mathcal{C}}\times _{ \operatorname{\mathcal{C}}_{+} } \{ C \} \rightarrow \operatorname{Tw}(\operatorname{\mathcal{C}}_{-}) \times _{ \operatorname{\mathcal{C}}_{-} } \{ G(C) \} . \]

The coupling $\lambda $ is representable and, for every universal object $C \in \operatorname{\mathcal{C}}$, the image $\widetilde{G}(C) \in \operatorname{Tw}(\operatorname{\mathcal{C}}_{-} )$ is an isomorphism (when viewed as a morphism of the $\infty $-category $\operatorname{\mathcal{C}}_{-}$).


The coupling $\lambda $ is representable and the triple $(\operatorname{id}, \widetilde{G}, G)$ is initial when viewed as an object of the $\infty $-category $\{ \operatorname{id}\} \times _{ \operatorname{Fun}( \operatorname{\mathcal{C}}_{-}, \operatorname{\mathcal{C}}_{-} )^{\operatorname{op}} } \operatorname{Fun}_{\pm }( \operatorname{\mathcal{C}}, \operatorname{Tw}(\operatorname{\mathcal{C}}_{-} ) )$.

Proof. The implication $(1) \Rightarrow (2)$ is immediate. Note that, if condition $(2)$ is satisfied, then the coupling $\lambda $ is representable; the implications $(2) \Rightarrow (3) \Rightarrow (1)$ then follow from Lemma (using the characterization of universal objects of $\operatorname{Tw}(\operatorname{\mathcal{C}}_{-} )$ given by Example The equivalence $(3) \Leftrightarrow (4)$ follows from Theorem $\square$