Las transformaciones naturales de un funtor representable a un funtor arbitrario "F": "C" -> Set son totalmente conocidas y fáciles de describir; éste es el contenido del lema de Yoneda.