# Kerodon

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

Lemma 8.2.3.6. Suppose we are given a morphism of couplings

8.22
$$\begin{gathered}\label{equation:duality-functor-left-to-right-preliminary} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}\ar [r]^-{ F } \ar [d]^{\lambda } & \operatorname{\mathcal{D}}\ar [d]^{\mu } \\ \operatorname{\mathcal{C}}^{\operatorname{op}}_{-} \times \operatorname{\mathcal{C}}_{+} \ar [r]^-{ F_{-}^{\operatorname{op}} \times F_{+} } & \operatorname{\mathcal{D}}_{-}^{\operatorname{op}} \times \operatorname{\mathcal{D}}_{+}, } \end{gathered}$$

where $\lambda$ is representable and $F_{-}$ is an equivalence of $\infty$-categories. The following conditions are equivalent:

$(1)$

The diagram (8.22) is a categorical pullback square.

$(2)$

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

$F_{Y}: \operatorname{\mathcal{C}}\times _{ \operatorname{\mathcal{C}}_{+} } \{ Y \} \rightarrow \operatorname{\mathcal{D}}\times _{ \operatorname{\mathcal{D}}_{+} } \{ F_{+}(Y) \} .$
$(3)$

For every universal object $C \in \operatorname{\mathcal{C}}$, the image $F(C) \in \operatorname{\mathcal{D}}$ is universal.

Proof. The equivalence $(1) \Leftrightarrow (2)$ follows from Theorem 5.1.5.1 and Remark 8.2.2.4. To complete the proof, it will suffice to show that for each object $Y \in \operatorname{\mathcal{C}}_{+}$, the following conditions are equivalent:

$(2_ Y)$

The functor $F_{Y}$ is an equivalence of $\infty$-categories.

$(3_ Y)$

The functor $F_{Y}$ carries initial objects of $\operatorname{\mathcal{C}}\times _{ \operatorname{\mathcal{C}}_{+} } \{ Y \}$ to initial objects of $\operatorname{\mathcal{D}}\times _{ \operatorname{\mathcal{D}}_{+} } \{ F_{+}(Y) \}$.

Replacing $\operatorname{\mathcal{D}}$ by the $\infty$-category $\operatorname{\mathcal{C}}_{-}^{\operatorname{op}} \times _{\operatorname{\mathcal{D}}_{-}^{\operatorname{op}} } \operatorname{\mathcal{D}}$, we can assume that $F_{-}$ is an isomorphism. In this case, the equivalence of $(2_ Y)$ and $(3_ Y)$ is a special case of Corollary 4.6.6.22. $\square$