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