In matematica, il lemma di Yoneda è un risultato fondamentale nella teoria delle categorie. Nella sua forma più debole afferma che ogni categoria può essere considerata come una sottocategoria dei funtori contravarianti da essa alla categoria degli insiemi.[1]