Spahn Galois connection

References