De acuerdo con el pensamiento de Saunders MacLane, cualquier idea, tal como funtores adjuntos, que ocurra con suficiente extensión en matemática debe ser estudiada por sí misma.