Yoneda-Einbettung

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.