Hablando en general, el lema de Yoneda sugiere que en vez de investigar la categoría(pequeña) "C", podemos estudiar la categoría de todos los funtores desde "C" a la categoría Set (donde Set es la categoría de todos los conjuntos con las aplicaciones en el papel de morfismos).