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

Lemma Let $\operatorname{\mathcal{C}}$ be an $\infty $-category containing an object $X$, let $\kappa $ be an uncountable cardinal, let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}^{< \kappa }$ be a functor, and let $\eta \in \mathscr {F}(X)$ be a vertex. The following conditions are equivalent:


The vertex $\eta $ exhibits $\mathscr {F}$ as corepresented by the object $X$, in the sense of Definition


Let $\iota : \{ X\} \hookrightarrow \operatorname{\mathcal{C}}$ denote the inclusion map and let $\mathscr {F}_0: \{ X\} \rightarrow \operatorname{\mathcal{S}}$ denote the constant functor taking the value $\Delta ^0$, so that $\eta $ can be regarded as a natural transformation from $\mathscr {F}_0$ to the composite functor $\mathscr {F} \circ \iota $. Then $\eta $ exhibits $\mathscr {F}$ as a left Kan extension of $\mathscr {F}_0$ along $\iota $, in the sense of Variant Moreover, for each object $Y \in \operatorname{\mathcal{C}}$, the mapping space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is essentially $\kappa $-small.

Proof. Fix an object $Y \in \operatorname{\mathcal{C}}$ and set $M = \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$. We may assume without loss of generality that $M$ is essentially $\kappa $-small (this follows immediately from condition $(2)$, and also follows from $(1)$ since the Kan complex $\mathscr {F}(Y)$ is essentially small). For every Kan complex $K$, let $\underline{K}_{M}$ denote the constant functor $M \rightarrow \operatorname{\mathcal{S}}$ taking the value $K$, so that the functor $\mathscr {F}$ determines a natural transformation $\gamma : \underline{ \mathscr {F}(X) }_{M} \rightarrow \underline{ \mathscr {F}(Y) }_{M}$. We will show that the following pair of conditions is equivalent:

$(1_ Y)$

The composite map

\[ \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{S}}}( \mathscr {F}(X), \mathscr {F}(Y) ) \xrightarrow { \circ [\eta ] } \operatorname{Hom}_{\operatorname{\mathcal{S}}}( \Delta ^0, \mathscr {F}(Y) ) \]

is a homotopy equivalence of Kan complexes.

$(2_ Y)$

The composite natural transformation

\[ \underline{ \Delta ^0 }_{M} \xrightarrow {\eta } \underline{ \mathscr {F}(X) }_{M} \xrightarrow {\gamma } \underline{ \mathscr {F}(Y) }_{M} \]

exhibits $\mathscr {F}(Y)$ as a colimit of the constant diagram $\underline{ \Delta ^0 }|_{M}$ in the $\infty $-category $\operatorname{\mathcal{S}}$.

The equivalence of $(1_ Y)$ and $(2_ Y)$ is a special case of Proposition (see Example Lemma follows by allowing the object $Y \in \operatorname{\mathcal{C}}$ to vary. $\square$