Yoneda lemma

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo locally small categories
gptkbp:countryOfPublication Japanese
gptkbp:describes relationship between functors and sets of natural transformations
gptkbp:field gptkb:category_theory
gptkbp:generalizes Cayley’s theorem for groups
https://www.w3.org/2000/01/rdf-schema#label Yoneda lemma
gptkbp:namedAfter gptkb:Nobuo_Yoneda
gptkbp:publicationYear 1954
gptkbp:publishedIn gptkb:Osaka_Journal_of_Mathematics
gptkbp:relatedTo gptkb:Yoneda_embedding
natural transformation
representable functor
gptkbp:state Every functor from a category C to Set is naturally isomorphic to a set of natural transformations from a representable functor
gptkbp:usedIn gptkb:algebraic_geometry
gptkb:topology
functional programming
homological algebra
gptkbp:bfsParent gptkb:category_theory
gptkbp:bfsLayer 5