Yoneda-Lemma

Aussage der Kategorientheorie, dass für jede lokal kleine Kategorie C, jedes Objekt A ∈ C und jeden Funktor F: C^op → Set eine natürliche Bijektion zwischen natürlichen Transformationen Hom_C(-,A) ⇒ F und den Elementen von F(A) besteht; diese Bijektion ist natürlich in A und F und liefert die Yoneda-Einbettung von C in die Funktorkategorie [C^op,Set].

Ein grundlegendes Resultat der Kategorientheorie, das die Elemente eines Präfunktors an einem Objekt mit den natürlichen Transformationen vom repräsentierbaren Funktor Hom(−, A) zu diesem Präfunktor identifiziert und damit Objekte einer Kategorie durch ihre Funktoren der Punkte darstellt sowie ein volltreues Einbetten in die Präfunktorenkategorie etabliert.