## [Yoneda-Einbettung](/de/node/61599) Definition Der kanonische volltreue Funktor y: C → [C^{op}, Set], der jedes Objekt X einer Kategorie C auf den repräsentierbaren Funktor Hom_C(-,X) abbildet und damit C in die Presheaf-Kategorie einbettet, indem er Objekte durch ihre eingehenden Abbildungs-Mengen kodiert. ## Prinzip Prinzip Die ordnende Idee ist Repräsentierbarkeit und Testen mittels Sonden: Objekte werden durch die Arten bestimmt, wie andere Objekte in sie abbilden, sodass die Yoneda-Einbettung jedes Objekt als Funktor seiner eingehenden Hom-Sets realisiert und alle kategorialen Informationen bis auf Isomorphie bewahrt. ## Demonstration Demonstration Für eine kleine Kategorie C sendet die Yoneda-Einbettung ein Objekt X auf Hom_C(-,X); natürliche Transformationen zwischen Repräsentablen entsprechen Morphismen in C und liefern eine konkrete treue Einbettung: Hom_{[C^{op},Set]}(Hom(-,X),Hom(-,Y)) ≅ Hom_C(X,Y). ## Fehlanwendung Fehlanwendung Die Yoneda-Einbettung als Isomorphismus auf ihr Bild zu behandeln, ohne Größen- oder Vollständigkeitsbedingungen zu prüfen: Zwar ist sie volltreu, doch besteht das essentielle Bild aus den repräsentierbaren Prägarben und erschöpft nicht notwendigerweise alle Prägarben oder reflektiert Limiten über das von Repräsentablen Getragene hinaus. ## Konsequenz Konsequenz Mit der Yoneda-Einbettung lassen sich Fragen über Objekte und Morphismen auf Rechnungen mit Funktoren und natürlichen Transformationen zurückführen, Repräsentierbarkeitskriterien anwenden und Prägarbenkonstruktionen nutzen, um Universalität und Limiten zu untersuchen. ## Umkehrung Umkehrung Die Umkehr besteht darin, die Prägarbenkategorie ohne Beschränkung auf Repräsentierbare zu betrachten: Viele Prägarben sind nicht repräsentierbar, sodass die umgekehrte Sichtweise auf verallgemeinerte Räume von Sonden statt nur denen aus Objekten von C fokussiert. ## Abgrenzung Abgrenzung Die Yoneda-Einbettung gilt für jede lokal kleine Kategorie; sie setzt C nicht mit der gesamten Prägarbenkategorie gleich, es sei denn, jeder Prägarbe ist repräsentierbar, und schließt Kontexte aus, in denen Hom-Sets echte Klassen ohne geeignete Größenkontrolle sind. ## Semantische Spannung Semantische Spannung Lemmas und Einbettung von Yoneda stehen in Spannung zur naiven elementbasierten Intuition: die Einbettung ersetzt Elemente durch natürliche Transformationen, wodurch die Versöhnung punktueller Anschauung und fonktorieller Beschreibungen oft konzeptionelle Reibung erzeugt. ## Synthese Synthese Die Yoneda-Einbettung realisiert jedes Objekt einer Kategorie treu als Funktor der Morphismen, die in es hineingehen, und bettet die Kategorie in eine Prägarbenkategorie ein, so dass Objekte vollständig durch die Abbildungsweise anderer Objekte charakterisiert sind.