Yoneda Lemma
A central result in category theory that characterizes objects by their relationships to other objects.
📜
The statement of the theorem
The set of natural transformations from the hom-functor to a functor is naturally isomorphic to .\n
Source: Wikipedia