Kerodon

Remark 8.3.2.3 (Symmetry). Let $\operatorname{\mathcal{C}}_{-}$ and $\operatorname{\mathcal{C}}_{+}$ be $\infty $-categories and let $\mathscr {K}: \operatorname{\mathcal{C}}_{-}^{\operatorname{op}} \times \operatorname{\mathcal{C}}_{+} \rightarrow \operatorname{\mathcal{S}}$ be a profunctor from $\operatorname{\mathcal{C}}_{+}$ to $\operatorname{\mathcal{C}}_{-}$. Then, by transposing its arguments, we can also regard $\mathscr {K}$ as a profunctor from $\operatorname{\mathcal{C}}_{-}^{\operatorname{op}}$ to $\operatorname{\mathcal{C}}_{+}^{\operatorname{op}}$.