Yoneda lemma en · NOUN
Etymology
Lemma named after the Japanese mathematician Nobuo Yoneda (1930–1996).
Meanings
-
Given a category 𝒞 with an object A, let H be a hom functor represented by A, and let F be any functor (not necessarily representable) from 𝒞 to Sets, then there is a natural isomorphism between Nat(H,F), the set of natural transformations from H to F, and the set F(A). (Any natural transformation α from H to F is determined by what α_A( mbox id_A) is.)
• Yoneda Lemma: Nat(Hom(A,–), F) ≅ F(A) ∴ Nat(Hom(A,–), Hom(B,–)) ≅ Hom(B,A) ∴ A ≅ B iff Hom(A,–) ≅ Hom(B,–) i.e. A is isomorphic to B if and only if A's network of relations is isomorphic to B's network of relations.
And then there's the Yoneda Lemma embodied in the classical Gaussian row reduction operation, that a given row reduction operation (on matrices with say k rows) being a "natural" operation (in the sense of natural transformations) is just multiplication (on the appropriate side) by the effect of that operation on the k-by-k identity matrix. And dually for column-reduction operations :-)
2020, Emily Riehl, quoting Fred E. J. Linton, The Yoneda lemma in the category of Matrices:As a corollary of the Yoneda lemma, given a pair of contravariant hom functors #92;mbox#123;Hom#125;(-,A) and #92;mbox#123;Hom#125;(-,B), then any natural transformation #92;alpha from #92;mbox#123;Hom#125;(-,A) to #92;mbox#123;Hom#125;(-,B) is determined by the choice of some function f#58;A#92;rightarrowB to map the identity #92;mbox#123;id#125;#95;A#58;A#92;rightarrowA to, by the component #92;alpha#95;A#58;#92;mbox#123;Hom#125;(A,A)#92;rightarrow#92;mbox#123;Hom#125;(A,B) of #92;alpha. This implies that the Yoneda functor is fully faithful, which in turn implies that Yoneda embeddings are possible.
Translations (8)
de Lemma von Yoneda (theorem which states that there is a natural isomorphism...) · cmn 米田引理 (theorem which states that there is a natural isomorphism...) · fr lemme de Yoneda (theorem which states that there is a natural isomorphism...) · ja 米田の補題 (theorem which states that there is a natural isomorphism...) · pt lema de Yoneda (theorem which states that there is a natural isomorphism...) · it lemma di Yoneda (theorem which states that there is a natural isomorphism...) · es lema de Yoneda (theorem which states that there is a natural isomorphism...) · ko 요네다 보조정리 (theorem which states that there is a natural isomorphism...)