Si puede ser dicho, sin embargo, que con los funtores adjuntos se crea el concepto de la "mejor estructura", una del tipo que se esté interesado en construir.