Yoneda lemma

Yoneda lemma
Name	Yoneda lemma
Field	Category theory
Introduced	1954
Introduced by	Nobuo Yoneda
Related concepts	Functor, Natural transformation, Representable functor, Category, Presheaf

Yoneda lemma The Yoneda lemma is a foundational result in Category theory that relates natural transformations from representable functors to the values of those functors, establishing a tight connection between objects and the functors they represent. It underpins representability, embedding theorems, and the use of presheaves in modern mathematics, influencing work across Algebraic geometry, Homological algebra, and Mathematical logic. The lemma is central to developments by figures associated with École normale supérieure, Princeton University, and institutions such as École polytechnique and the Institute for Advanced Study.

Statement

The classical form of the lemma states that for any locally small category C, any object A of C, and any contravariant functor F: C^{op} → Set, there is a natural bijection between natural transformations from the representable functor Hom_C(−, A) to F and the elements of F(A). This correspondence identifies each element of F(A) with a natural transformation, and conversely each natural transformation with its component at A. The Yoneda embedding sends each object A to the representable presheaf Hom_C(−, A), yielding a fully faithful functor from C into the functor category Set^{C^{op}} and connecting to representable functors studied in Grothendieck’s work in Algebraic geometry and the foundations used by researchers at IHÉS and CNRS.

Proofs

Standard proofs use componentwise evaluation and naturality to construct mutually inverse maps between Nat(Hom_C(−, A), F) and F(A). One constructs, for x in F(A), a natural transformation η^x whose component at an object X sends f: X → A to F(f)(x); conversely, each natural transformation η yields η_A(id_A) in F(A). Verifying naturality and inverse properties employs diagram chasing typical of proofs used in texts associated with Princeton University Press and expositions influenced by authors at University of Cambridge, University of Oxford, and Massachusetts Institute of Technology. Alternate proofs use Yoneda embeddings and representability criteria from seminars at Institute for Advanced Study and lectures in departments like Harvard University and University of Chicago.

Consequences and corollaries

The Yoneda lemma yields the Yoneda embedding, showing that C embeds fully faithfully into Set^{C^{op}}, a fact used in reconstruction theorems such as those appearing in the work of scholars at Stanford University, University of California, Berkeley, and École Normale Supérieure. It implies that representable functors are determined up to unique isomorphism by their action, underpinning notions like the representability of functors used in Grothendieck’s theory of representable morphisms and moduli problems treated at IHÉS and in seminars at Université Paris-Sud. Corollaries include the characterization of natural transformations between representables via morphisms in C and the embedding of C into a presheaf category, tools exploited in developments at Max Planck Institute for Mathematics and Mathematical Sciences Research Institute.

Examples

Common examples illustrate the lemma in concrete settings: in the category of sets, representable functors Hom_Set(−, A) recover A-valued functions and natural transformations correspond to elements of A; in the category of groups, Hom_Group(−, G) relates to group homomorphisms with natural transformations identified with elements of G fixed under conjugation contexts studied in University of Cambridge seminars; in Algebraic geometry, the functor of points of a scheme is representable and Yoneda’s viewpoint recasts schemes as functors, central to the approaches in works at Princeton University and Harvard University; in Topos theory and sheaf theory taught at University of Oxford courses, the lemma clarifies embeddings of sites into presheaf toposes. More specialized examples appear in the categorical treatments at University of Chicago, Columbia University, ETH Zurich, and University of Tokyo.

Applications

Applications of the Yoneda lemma span classification problems, reconstruction theorems, and dualities: it is used in establishing adjoint functor theorems encountered in lectures at MIT and UC Berkeley, in deriving representability criteria in Algebraic geometry seminars at IHÉS and MSRI, and in formalizing semantics in categorical logic research at Carnegie Mellon University and University of Edinburgh. It is instrumental in homotopical contexts at Institute of Mathematics of the Polish Academy of Sciences and in the study of derived categories at Kavli Institute for the Physics and Mathematics of the Universe. Computational category theory implementations at research groups in Microsoft Research and Google DeepMind use Yoneda-inspired transformations for optimization and representation.

Generalizations and variants

Generalizations include enriched Yoneda lemmas for categories enriched over a monoidal category, versions for 2-categories and bicategories used in higher category theory research at Perimeter Institute, IHÉS, and Institute for Advanced Study, and homotopical Yoneda lemmas in ∞-category theory developed in groups at Simons Center for Geometry and Physics and Mathematical Sciences Research Institute. Variants appear in enriched settings over Abelian groups or Topological spaces, and in representability frameworks used in advanced treatments at Cambridge University Press and lecture series at ETH Zurich and University of Bonn.

Category:Category theory