Abstract: 'Given a connected and locally connected topological space X and a Galois cover p : Y -> X of X, I want to understand the Galois connection between covers of X that are trivialised by Y and discrete spaces that are acted on by the Galois group Aut_X (Y). I show that those two collections of objects are prelattices in the sense of being preordered types with all nonempty finite meets and joins. Then the Galois connection is given by an equivalence of types respecting the order relations as well as the meets and joins.'