Galois Connections in Categorial Type Logic