El lema de Yoneda es un resultado simple de la teoría de categorías, y su demostración es muy sencilla.
Sin embargo, siento que no entiendo realmente de qué se trata; He visto algunos comentarios aquí que mencionan cómo tiene implicaciones más profundas sobre cómo pensar sobre functores representables.
¿Cuáles son algunos ejemplos de esto? ¿Cómo pensar en el lema de Yoneda?