Example 8.2.2.6. The canonical isomorphism $\lambda : \Delta ^0 \xrightarrow {\sim } (\Delta ^0)^{\operatorname{op}} \times \Delta ^0$ can be regarded as a coupling of the $0$-simplex $\Delta ^0$ with itself. For every coupling of $\infty $-categories $\mu : \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{D}}^{\operatorname{op}}_{-} \times \operatorname{\mathcal{D}}_{+}$, the $\infty $-category $\operatorname{Fun}_{\pm }( \Delta ^0, \operatorname{\mathcal{D}})$ can be identified with the $\infty $-category $\operatorname{\mathcal{D}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$