I am wondering if there is only one unique Yoneda isomorphism, that is a natural isomorphism (innatural in C and P, that is) isomorphism between Hom(yC,P) and PC.
The Yoneda lemma says that itthere exists at least one, and its common proof is constructive, so that we have an example. But is it the only one?
If it is unique, how todo we prove that? ElseIf not, is there any counter-example?