Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Variant 8.3.4.4. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. Assume that $\operatorname{\mathcal{D}}$ is locally $\kappa $-small and let $\operatorname{Hom}_{\operatorname{\mathcal{D}}}(-, -): \operatorname{\mathcal{D}}^{\operatorname{op}} \times \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{S}}^{<\kappa }$ be a $\operatorname{Hom}$-functor for $\operatorname{\mathcal{D}}$. We say that a profunctor $\mathscr {K}: \operatorname{\mathcal{C}}^{\operatorname{op}} \times \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{S}}$ is corepresentable by $F$ if it isomorphic to the composition

\[ \operatorname{\mathcal{C}}^{\operatorname{op}} \times \operatorname{\mathcal{D}}\xrightarrow {F^{\operatorname{op}} \times \operatorname{id}} \operatorname{\mathcal{D}}^{\operatorname{op}} \times \operatorname{\mathcal{D}}\xrightarrow { \operatorname{Hom}_{\operatorname{\mathcal{D}}}(-, -) } \operatorname{\mathcal{S}}\quad \quad (X,Y) \mapsto \operatorname{Hom}_{\operatorname{\mathcal{D}}}(F(X), Y) \]

as an object of the $\infty $-category $\operatorname{Fun}( \operatorname{\mathcal{C}}^{\operatorname{op}} \times \operatorname{\mathcal{D}}, \operatorname{\mathcal{S}}^{<\kappa })$. By virtue of Proposition 8.3.3.2, this condition does not depend on the choice of $\operatorname{Hom}$-functor $\operatorname{Hom}_{\operatorname{\mathcal{C}}}( -, - )$.