Let $Y: \cal A\to Set^{\cal A^{op}}$ be the Yonneda embedding and
$S:Set^{\cal A^{op}}\to Set$ an arbitrary functor.
How do I use the Yonneda lemma to obtain a bijection between natural transformations $hom(A,-)\to SY$ AND these: $hom(hom(-,A),-)\to S$.
See the second displayed formula Here.
2026-03-26 06:21:12.1774506072
Yoneda lemma, bijection between sets of natural transformations
128 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
Use the Yoneda lemma once to obtain $\text{Nat}(\hom(\hom(-,A),-),-),S) \cong S(\hom(-,A))$. Use it a second time to obtain $\text{Nat}(\hom(A,-),SY) \cong SY(A)$ and then notice that $SY(A)=S(\hom(-,A))$.