Yoneda embedding

Etymology
Named after the Japanese mathematician Nobuo Yoneda (1930–1996).

Noun

 * 1)  An embedding of a category $$\mathcal{C}$$ within the category of functors from $$\mathcal{C}$$ to the category of sets. Such an embedding is effected by a Yoneda functor.