The structure of Galois connections.