El lema de Yoneda afirma que estos son los únicos morfismos de los que disponemos; además, mediante el lema se caracterizan los conjuntos de morfismos de formula_3 a cualquier otro funtor de C a Set.