Todos los pares de funtores adjuntos surgen de construcciones universales.