Otro lugar en donde las ideas categoriales surgen es el concepto de una conexión de Galois (monótona), que es precisamente igual a un par de funtores adjuntos.