Yoneda lemma

Embedding of categories into functor categories

The Yoneda lemma is a fundamental result in category theory, a branch of mathematics. It is an abstract result on functors of the type morphisms into a fixed object. It is a vast generalisation of Cayley's theorem from group theory (viewing a group as a miniature category with just one object and only isomorphisms).

From Wikipedia, under CC BY-SA. More on occurri.