Galois Connection - Galois Connections As Morphisms

Galois Connections As Morphisms

Galois connections also provide an interesting class of mappings between posets which can be used to obtain categories of posets. Especially, it is possible to compose Galois connections: given Galois connections (f ∗, f ) between posets A and B and (g ∗, g ) between B and C, the composite (gf ∗, f g ) is also a Galois connection. When considering categories of complete lattices, this can be simplified to considering just mappings preserving all suprema (or, alternatively, infima). Mapping complete lattices to their duals, this categories display auto duality, that are quite fundamental for obtaining other duality theorems. More special kinds of morphisms that induce adjoint mappings in the other direction are the morphisms usually considered for frames (or locales).

Read more about this topic:  Galois Connection

Famous quotes containing the word connections:

    ... feminism is a political term and it must be recognized as such: it is political in women’s terms. What are these terms? Essentially it means making connections: between personal power and economic power, between domestic oppression and labor exploitation, between plants and chemicals, feelings and theories; it means making connections between our inside worlds and the outside world.
    Anica Vesel Mander, U.S. author and feminist, and Anne Kent Rush (b. 1945)