Corollary 8.2.2.5. Let $\lambda : \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}^{\operatorname{op}}_{-} \times \operatorname{\mathcal{C}}_{+}$ and $\mu : \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{D}}^{\operatorname{op}}_{-} \times \operatorname{\mathcal{D}}_{+}$ be couplings of $\infty $-categories. Then the simplicial set $\operatorname{Fun}_{\pm }(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$ is an $\infty $-category.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$