Skip to main content

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?

I am wondering if there is only one unique Yoneda isomorphism, that is a natural (in C and P) isomorphism between Hom(yC,P) and PC.

The Yoneda lemma says that it 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 to prove that? Else, is there any counter-example?

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?

Source Link
Almeo Maus
  • 517
  • 5
  • 14

Unicity of Yoneda isomorphism

I am wondering if there is only one unique Yoneda isomorphism, that is a natural (in C and P) isomorphism between Hom(yC,P) and PC.

The Yoneda lemma says that it 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 to prove that? Else, is there any counter-example?