##  [Yoneda Lemma](/yoneda-lemma-1) 

 Definition

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

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

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

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

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

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

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

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

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.