A fundamental result in category theory that identifies the elements of a presheaf at an object with natural transformations from the representable functor Hom(−, A) to that presheaf, thereby representing objects of a category by their functors of points and establishing a fully faithful embedding of the category into a presheaf category.

Principle

Representability and naturality: values of any presheaf F on an object A are in canonical bijection with natural transformations Hom(−, A) ⇒ F; natural transformations between representables recover morphisms of the original category.

Demonstration

In the category of sets, for a fixed object X and a presheaf F : C^op → Set, each element x ∈ F(X) defines a natural transformation η_x: Hom(−, X) ⇒ F by sending f: Y → X to F(f)(x); the Yoneda Lemma asserts this assignment is bijective and natural in F and X.

Misapplication

Using a pointwise bijection between Hom-sets and presheaf values that is not natural to infer an isomorphism of objects, or applying the lemma in a context lacking Hom-sets (non-locally-small categories) or without accounting for enrichment, which invalidates the bijection.

Consequence

The Yoneda embedding A ↦ Hom(−, A) is fully faithful, so questions about objects and morphisms can be studied through their representable functors; it provides a practical test for isomorphism and a route to reconstruct categorical structure inside presheaf categories.

Reversal

Instead of representing objects by their functors of points, one may consider expressing presheaves as colimits of representables (the co-Yoneda perspective); reversing the direction emphasizes how arbitrary presheaves are built from representables rather than how objects embed into presheaves.

Boundary

Applies to locally small categories and ordinary (unenriched) presheaves; in enriched, higher, or large-category contexts the statement requires the corresponding enriched or higher Yoneda formulation; it does not assert equality of objects, only canonical isomorphisms of functors or natural bijections.

Semantic Tension

Tension arises between the informal talk of 'elements of an object' and the categorical view that objects have no points except via functors of points; competing uses sometimes blur Yoneda's naturality condition by treating pointwise correspondences as sufficient to identify structures.

Synthesis

The Yoneda Lemma unifies representability and naturality: every presheaf's fibers over an object correspond precisely to natural transformations from the object's representable functor, yielding a fully faithful embedding that lets one study categorical objects through their functors of points.