12.2.5 The Contravariant Yoneda Lemma

Let $F\colon \mathcal{C}\to \mathsf{Sets}$ be a copresheaf on $\mathcal{C}$.

We have a bijection

\[ \operatorname {\mathrm{Nat}}(h^{A},F) \cong F(A), \]

natural in $A\in \operatorname {\mathrm{Obj}}(\mathcal{C})$, determining a natural isomorphism of functors

\[ \operatorname {\mathrm{Nat}}(h^{(-)},F) \cong F. \]


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: