Roland Backhouse, Galois Connections and Fixed Point Calculus, pdf
Peter Smith, University of Cambridge, The Galois Connection between Syntax and Semantics, pdf