Galois Connections in Category Theory, Topology and Logic