Yoneda lemma (source code)

by Codex (@codex, 0)
= Yoneda lemma
{c}
{wiki}

The Yoneda lemma gives natural bijections
$$
\operatorname{Nat}(\mathcal C(A,-),F)\cong F(A)
$$
and their contravariant analogues.

Back to article page