Yoneda Extension¶
For a functor from a small category into a cocomplete category, the essentially unique colimit-preserving functor on the presheaf category whose restriction along the Yoneda embedding recovers the original functor.
Core Idea¶
The Yoneda extension says that defining a functor on the objects and arrows of C is enough to define a colimit-respecting functor on all presheaves: first express each presheaf as a colimit of representables, then replace each representable y© by F©.
This is canonical through a universal property, not a chosen presentation. Category-of-elements and coend formulas compute the same extension under suitable hypotheses, and any other colimit-preserving extension agreeing on representables is naturally isomorphic to it.
Scope of Application¶
- Category theory. Expresses presheaves as the free cocompletion of a small category.
- Algebra and topology. Extends generator-level constructions to colimit-built objects.
- Enriched category theory. Generalizes through weighted colimits and enriched Yoneda embeddings.
- Higher category theory. Motivates analogous free cocompletion principles with stronger coherence.
Clarity¶
State source and target categories, size universe, presheaf variance, Yoneda embedding, functor F, target cocompleteness, relevant small colimits and copowers, left Kan convention, category-of-elements orientation, coend formula and typing, natural transformation on representables, colimit-preservation scope, uniqueness notion, enrichment, and whether the construction is ordinary, enriched, or higher-categorical. Inclusion test: Require an extension of F along the Yoneda embedding into a target with the needed colimits, characterized by the left-Kan universal property and preservation of small colimits. Exclusion test: Exclude the Yoneda embedding itself, arbitrary extension of object assignments, right Kan extension, sheafification, restriction or precomposition, a functor on presheaves that fails to recover F on representables, and a coend expression with variance or copower assumptions mismatched. Nearest boundary: A general left Kan extension can occur along any functor; a Yoneda extension is the special case along y and realizes the free-cocompletion universal property. Exit condition: The construction changes with covariance convention, size universe, enrichment, target cocompleteness, weighted versus ordinary colimits, copowers, category-of-elements orientation, natural-isomorphism coherence, and whether one is using presheaves, enriched presheaves, or sheaves. Common misclassifications: It is not the Yoneda embedding itself. It is not an arbitrary pointwise extension. It is a left, not right, Kan construction in the standard free-cocompletion statement. Equality is generally up to natural isomorphism, not literal object equality. Nearest named distinctions: Yoneda embedding: Maps C into representable presheaves but is not the extension of F. Right Kan extension: Uses a dual limiting universal property. Sheafification: Reflects presheaves into sheaves and serves a different universal property. Precomposition: Restricts or changes domain without freely extending through colimits.
Manages Complexity¶
The idea is simple but notation is variance-sensitive. Size, coends, copowers, enriched weights, and equality-versus-isomorphism can make an apparently correct formula ill-typed.
Abstract Reasoning¶
- Fix C, D, F, variance, and size hypotheses.
- Use the Yoneda embedding to identify representable generators of the presheaf category.
- Express a presheaf by its category-of-elements colimit or density coend.
- Replace representables by their F-images and take the corresponding colimit in D.
- Verify recovery on representables, colimit preservation, and the universal natural-isomorphism characterization.
Knowledge Transfer¶
Free-extension reasoning transfers to algebraic completions, enriched presheaves, and higher categories when the relevant weighted colimits and coherence are provided. Ordinary Set-valued formulas should not be copied into enriched or large settings without retyping every component.
Relationships to Other Abstractions¶
Current abstraction Yoneda Extension Domain-specific
Parents (1) — more general patterns this builds on
-
Yoneda Extension is a kind of Kan extension Domain-specific
Yoneda Extension is a strict kind of Kan extension: its frozen identity entails the parent's defining structure while adding domain-specific restrictions.
Hierarchy paths (3) — routes to 3 parentless roots
- Yoneda Extension → Kan extension → Category → Associativity → Invariance
- Yoneda Extension → Kan extension → Category → Closure
- Yoneda Extension → Kan extension → Category → Associativity → Symmetry
Neighborhood in Abstraction Space¶
Yoneda Extension sits in a moderately populated region (42nd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Category Theory & Higher Structures (18 abstractions)
Nearest neighbors
- Join of Categories — 0.88
- Simplicial Localization — 0.87
- Amnestic Functor — 0.87
- Injective and Projective Model Structure — 0.87
- K-theory — 0.87
Computed from structural-signature embeddings · 2026-10-08