Galois Connections and Applications