Das Lemma von Yoneda, nach Nobuo Yoneda, ist eine mathematische Aussage aus dem Teilgebiet der Kategorientheorie. Es beschreibt die Menge der natürlichen Transformationen zwischen einem Hom-Funktor und einem weiteren Funktor.
Das Yoneda-Lemma erlaubt es, Begriffe, die aus der Kategorie der Mengen geläufig sind, auf beliebige Kategorien zu übertragen.