Entonces una conexión de Galois no es sino un par de funtores adjuntos entre dos categorías que surgen de conjuntos parcialmente ordenados.