Na teoria das categorias, o lema de Yoneda diz que há bijeção, natural no objeto e no functor ,
levando cada transformação natural ao elemento . O nome do resultado, referenciando o matemático japonês Nobuo Yoneda, foi escolhido por Saunders Mac Lane, após um encontro na França.
Imersão de Yoneda O lema de Yoneda implica que ; isto é, a imersão de Yoneda , definida por
é um functor pleno e fiel. Em particular, cada functor representável é representado por objeto único a menos de isomorfismo: implica .
Categoria:Teoria das categorias