Yoneda Embedding

- Mathematics & Logic -
Pure Mathematics Dictionary
The canonical fully faithful functor y: C → [C^{op}, Set] sending each object X of a category C to the representable functor Hom_C(-,X), thereby embedding C into the presheaf category and encoding objects by their maps into them.