El lema de Yoneda en teoría de las categorías nos permite sumergir una categoría en otra categoría de funtores definida sobre aquella, y clarifica cómo la categoría sumergida se relaciona con los objetos de la categoría de funtores que la sumerge. Es una herramienta importante que se encuentra subyacente a varios de los desarrollos modernos en geometría algebraica y teoría de la representación. Es una extensa generalización del teorema de Cayley de la teoría de grupos (todo grupo es un monoide, que es a su vez una categoría con un solo objeto).