Proposition 8.3.3.8. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\mathscr {H}: \operatorname{\mathcal{C}}^{\operatorname{op}} \times \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ be a $\operatorname{Hom}$-functor for $\operatorname{\mathcal{C}}$. Then $\mathscr {H}$ is a balanced profunctor (see Definition 8.3.2.18).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$