Let $\operatorname{\mathcal{C}}$ be a category. Every object $X \in \operatorname{\mathcal{C}}$ determines a corepresentable functor $h^{X}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set}$, given on objects by the formula $h^{X}(Y) = \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$. This functor can be characterized by a universal mapping property:
Proposition 8.3.1.1 (Yoneda's Lemma, Strong Form). Let $\operatorname{\mathcal{C}}$ be a category containing an object $X$. For every functor $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set}$, evaluation on the identity morphism $\operatorname{id}_{X} \in h^{X}(X)$ induces a bijection
\[ \operatorname{Hom}_{ \operatorname{Fun}( \operatorname{\mathcal{C}}, \operatorname{Set}) }( h^{X}, \mathscr {F} ) \rightarrow \mathscr {F}(X). \]
Proof. Fix an element $x \in \mathscr {F}(X)$. We wish to show that there is a unique natural transformation $\alpha : h^{X} \rightarrow \mathscr {F}$ which carries $\operatorname{id}_{X} \in h^{X}(X)$ to the element $x \in \mathscr {F}(X)$.
For any object $Y \in \operatorname{\mathcal{C}}$, every element $f \in h^{X}(Y) \in \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ can be obtained by evaluating the function $h^{X}(f): h^{X}(X) \rightarrow h^{X}(Y)$ on the object $\operatorname{id}_{X}$. It follows that, if $\alpha : h^{X} \rightarrow \mathscr {F}$ is a natural transformation satisfying $\alpha _{X}( \operatorname{id}_ X ) = x$, then it must satisfy the identity
This proves uniqueness. To establish existence, it will suffice to show that the collection of functions
determine a natural transformation from $h^{X}$ to $\mathscr {F}$. In other words, we must show that for each morphism $g: Y \rightarrow Z$ in $\operatorname{\mathcal{C}}$, the diagram of sets
is commutative. This follows from the observation that, for every morphism $f: X \rightarrow Y$ of $\operatorname{\mathcal{C}}$, we have an equality $\mathscr {F}( g \circ f)(x) = (\mathscr {F}(g) \circ \mathscr {F}(f))(x)$ in the set $\mathscr {F}(Z)$. $\square$
Our goal in this section is prove a generalization of Yoneda's lemma, where we replace $\operatorname{\mathcal{C}}$ by an $\infty $-category and $\operatorname{Set}$ by the $\infty $-category $\operatorname{\mathcal{S}}$ of spaces (Proposition 8.3.1.3). In the $\infty $-categorical setting, the proof is more subtle: to construct a natural transformation $\alpha $ between functors $\mathscr {F}, \mathscr {G}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$, it is not enough to specify a collection of morphisms $\{ \alpha _{Y}: \mathscr {G}(Y) \rightarrow \mathscr {F}(Y) \} _{ Y \in \operatorname{\mathcal{C}}}$ and to verify a compatibility condition. To address this difficulty, we will use the formalism of Kan extensions developed in §7.3 (see Lemma 8.3.1.7).
Notation 8.3.1.2. Let $\operatorname{\mathcal{S}}$ denote the $\infty $-category of spaces (Construction 5.5.1.1). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and suppose we are given a pair of functors $\mathscr {F}, \mathscr {G}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$. Fix an object $X \in \operatorname{\mathcal{C}}$ and a vertex $\eta \in \mathscr {F}(X)$. We then obtain a comparison morphism in the homotopy category $\mathrm{h} \mathit{\operatorname{Kan}}$, where the first map is given by evaluation on the object $X$, the second by the composition law of Notation 4.6.9.15, and the third is (the inverse of) the homotopy equivalence of Remark 5.5.1.5.
\begin{eqnarray*} \operatorname{Hom}_{\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{S}}) }( \mathscr {F}, \mathscr {G} ) & \xrightarrow { \operatorname{ev}_{X} } & \operatorname{Hom}_{\operatorname{\mathcal{S}}}( \mathscr {F}(X), \mathscr {G}(X) ) \\ & \xrightarrow { \circ [\eta ] } & \operatorname{Hom}_{\operatorname{\mathcal{S}}}( \Delta ^0, \mathscr {G}(X) ) \\ & \simeq & \mathscr {G}(X) \end{eqnarray*}
Proposition 8.3.1.3 ($\infty $-Categorical Yoneda Lemma). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category containing an object $X$, let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ be a functor, and let $\eta \in \mathscr {F}(X)$ be a vertex which exhibits the functor $\mathscr {F}$ as corepresented by $X$ (see Definition 5.6.6.1). Then, for every functor $\mathscr {G}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$, the comparison map of Notation 8.3.1.2 is an isomorphism in the homotopy category $\mathrm{h} \mathit{\operatorname{Kan}}$.
\[ \operatorname{Hom}_{ \operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{S}}) }( \mathscr {F}, \mathscr {G} ) \rightarrow \mathscr {G}(X) \]
Remark 8.3.1.4. In the special case where $\operatorname{\mathcal{C}}$ is (the nerve of) an ordinary category and $\mathscr {G}$ is a set-valued functor, Proposition 8.3.1.3 reduces to Proposition 8.3.1.1.
Remark 8.3.1.5. Let $\operatorname{\mathcal{C}}$ be a locally small $\infty $-category and let $X$ be an object of $\operatorname{\mathcal{C}}$. In §5.6.6, we proved that there exists a functor $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ which is corepresented by $X$, and that $\mathscr {F}$ is uniquely determined up to isomorphism (Theorem 5.6.6.13). Proposition 8.3.1.3 can be regarded as a more refined version of this uniqueness assertion: the functor $\mathscr {F}$ is characterized, up to isomorphism, by the requirement that it corepresents the evaluation functor
\[ \operatorname{ev}_{X}: \operatorname{Fun}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{S}}) \rightarrow \operatorname{\mathcal{S}}\quad \quad \mathscr {G} \mapsto \mathscr {G}(X). \]
Corollary 8.3.1.6. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category containing an object $X$. Suppose that, for every object $Y \in \operatorname{\mathcal{C}}$, the Kan complex $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is essentially small (this condition is satisfied, for example, if $\operatorname{\mathcal{C}}$ is small). Let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ be a functor, and let $\eta $ be a vertex of the Kan complex $\mathscr {F}(X)$. The following conditions are equivalent:
The vertex $\eta $ exhibits the functor $\mathscr {F}$ as corepresented by $X$, in the sense of Definition 5.6.6.1.
For every functor $\mathscr {G}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$, the comparison map of Notation 8.3.1.2 is a homotopy equivalence $\operatorname{Hom}_{ \operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{S}}) }( \mathscr {F}, \mathscr {G} ) \rightarrow \mathscr {G}(X)$.
For every functor $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$, the comparison map of Notation 8.3.1.2 induces a bijection $\pi _0(\operatorname{Hom}_{ \operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{S}}) }( \mathscr {F}, \mathscr {G} )) \rightarrow \pi _0(\mathscr {G}(X))$.
Proof. The implication $(1) \Rightarrow (2)$ follows from Proposition 8.3.1.3, and the implication $(2) \Rightarrow (3)$ is immediate. We will complete the proof by showing that $(3)$ implies $(1)$. Our assumption that the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is essentially small for each $Y \in \operatorname{\mathcal{C}}$ guarantees that there exists a functor $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ and a vertex $\eta ' \in \mathscr {F}'(X)$ which exhibits $\mathscr {F}'$ as corepresented by $X$ (see Theorem 5.6.6.13). Applying assumption $(3)$, we deduce that there exists a natural transformation $\alpha : \mathscr {F}' \rightarrow \mathscr {F}$ such that $\alpha _{X}( \eta ' )$ and $\eta $ lie in the same connected component of $\mathscr {F}'$. Since the pair $(\mathscr {F}', \eta ')$ also satisfies condition $(3)$, composition with $\alpha $ induces a bijection $\pi _0( \operatorname{Hom}_{\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{S}}) }( \mathscr {F}, \mathscr {G} ) ) \rightarrow \pi _0( \operatorname{Hom}_{\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{S}}) }( \mathscr {F}', \mathscr {G} ) )$ for each object $\mathscr {G} \in \operatorname{Fun}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{S}})$. It follows that $\alpha $ is an isomorphism. Applying Remark 5.6.6.4, we deduce that $\alpha _{X}(\eta ') \in \mathscr {F}(X)$ exhibits the functor $\mathscr {F}$ as corepresented by $X$. Since $\eta $ and $\alpha _{X}(\eta )$ belong to the same connected component of $\mathscr {F}(X)$, it follows that $\eta $ has the same property (Remark 5.6.6.3). $\square$
Proposition 8.3.1.3 is an easy consequence of the following:
Lemma 8.3.1.7. 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 5.6.6.1.
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 7.3.1.5. 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:
The composite map
is a homotopy equivalence of Kan complexes.
The composite natural transformation
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 7.1.2.8 (see Example 7.1.2.10). Lemma 8.3.1.7 follows by allowing the object $Y \in \operatorname{\mathcal{C}}$ to vary. $\square$
Proof of Proposition 8.3.1.3. Combine Lemma 8.3.1.7 and 7.3.6.1. $\square$
For later use, let us record another consequence of Lemma 8.3.1.7.
Corollary 8.3.1.8. Let $\kappa $ be an uncountable cardinal, let $T: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor between locally $\kappa $-small $\infty $-categories, let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}^{< \kappa }$ and $\mathscr {G}: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{S}}^{< \kappa }$ be functors, and let $\beta : \mathscr {F} \rightarrow \mathscr {G} \circ T$ be a natural transformation of functors from $\operatorname{\mathcal{C}}$ to $\operatorname{\mathcal{S}}$. Fix an object $C \in \operatorname{\mathcal{C}}$ and a vertex $\eta \in \mathscr {F}(C)$ which exhibits the functor $\mathscr {F}$ as corepresented by $\operatorname{\mathcal{C}}$. The following conditions are equivalent:
The natural transformation $\beta $ carries $\eta $ to a vertex of $\mathscr {G}( T(C) )$ which exhibits the functor $\mathscr {G}$ as corepresented by the object $T(C) \in \operatorname{\mathcal{D}}$.
The natural transformation $\beta $ exhibits $\mathscr {G}$ as a left Kan extension of $\mathscr {F}$ along the functor $T$ (see Variant 7.3.1.5).
Proof. Combine Lemma 8.3.1.7 with Proposition 7.3.8.18. $\square$
Corollary 8.3.1.9. Let $\kappa $ be an uncountable cardinal, let $T: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor between locally $\kappa $-small $\infty $-categories and let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ be a functor which is corepresented by an object $C \in \operatorname{\mathcal{C}}$. Then a functor $\mathscr {G}: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{S}}$ is a left Kan extension of $\mathscr {F}$ along $T$ if and only if it is corepresentable by the object $T(C) \in \operatorname{\mathcal{D}}$.
Proof. Assume that $\mathscr {G}$ is corepresentable by $T(C)$; we will show that it is a left Kan extension of $\mathscr {F}$ along $T$ (the reverse implication follows immediately from Corollary 8.3.1.8). Fix a vertex $\eta \in \mathscr {F}(C)$ which exhibits $\mathscr {F}$ as corepresented by $C$. It follows from Proposition 8.3.1.3 that evaluation at $\eta $ induces a homotopy equivalence of Kan complexes
We can therefore choose a natural transformation $\beta : \mathscr {F} \rightarrow \mathscr {G} \circ T$ which carries $\eta $ to a vertex which exhibits $\mathscr {G}$ as corepresented by $T(C)$. Applying Corollary 8.3.1.8, we see that $\beta $ exhibits $\mathscr {G}$ as a left Kan extension of $\mathscr {F}$ along $T$. $\square$