Las construcciones universales son más generales que pares de funtores adjuntos: según lo mencionado anteriormente, una construcción universal es como un problema de optimización; da lugar a un par adjunto si y solamente si este problema tiene una solución para cada objeto de "D".