Spahn
Galois connection (history)

August 21, 2012