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.

Principle

The organizing idea is representability and testing by probes: objects are determined by the ways other objects map into them, so the Yoneda embedding realizes each object as a functor of its incoming hom-sets, preserving all categorical information up to isomorphism.

Demonstration

For a small category C, the Yoneda embedding sends an object X to Hom_C(-,X); natural transformations between representables correspond to morphisms in C, giving a concrete faithful embedding: Hom_{[C^{op},Set]}(Hom(-,X),Hom(-,Y)) ≅ Hom_C(X,Y).

Misapplication

Treating the Yoneda embedding as an isomorphism onto its image without checking size or completeness conditions: while fully faithful, the embedding's essential image consists of representable presheaves and need not exhaust all presheaves or reflect limits beyond what representables carry.

Consequence

Using the Yoneda embedding one can reduce questions about objects and morphisms to calculations with functors and natural transformations, apply representability criteria, and leverage presheaf constructions to study universality and limits.

Reversal

The reversal is considering the presheaf category without restricting to representables: many presheaves are not representable, so the reversed viewpoint focuses on generalized spaces of probes rather than just those arising from objects of C.

Boundary

The Yoneda embedding applies to any locally small category; it does not equate C with the whole presheaf category unless every presheaf is representable, and it excludes contexts where hom-sets are proper classes without appropriate size control.

Semantic Tension

Yoneda's lemma and the Yoneda embedding sit in tension with naïve element-based thinking: the embedding replaces elements by natural transformations, so reconciling objectwise intuition with functorial descriptions is often a source of conceptual friction.

Synthesis

The Yoneda embedding faithfully realizes each object of a category as the functor of morphisms into it, embedding the category into a presheaf category so that objects are characterized entirely by how other objects map to them.