Find a method↗
There is a bijection between the set of morphisms from X to Y, Hom(X,Y), and the set of natural transformations from the representable functor Hom(-,X) to Hom(-,Y). This means that maps between objects correspond exactly to natural transformations between their representable functors.
Conditions: X and Y are objects in a category.
YouTubeThe Yoneda Perspective
3:34 – 4:06Watch this moment ↗
There is a bijection between the set of morphisms from X to Y, Hom(X,Y), and the set of natural transformations from the representable functor Hom(-,X) to Hom(-,Y). This means that maps between objects correspond exactly to natural transformations between their representable functors.
Conditions: X and Y are objects in a category.
YouTubeThe Yoneda Perspective
3:34 – 4:06Watch this moment ↗