Definition 8.3.2.1. Let $\operatorname{\mathcal{C}}_{-}$ and $\operatorname{\mathcal{C}}_{+}$ be $\infty $-categories. A profunctor from $\operatorname{\mathcal{C}}_{+}$ to $\operatorname{\mathcal{C}}_{-}$ is a functor $\mathscr {K}: \operatorname{\mathcal{C}}_{-}^{\operatorname{op}} \times \operatorname{\mathcal{C}}_{+} \rightarrow \operatorname{\mathcal{S}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$