Abstract.
Galois connections were originally expressed in a contravariant form with transformations that reverse (rather than preserve) order. Nowadays its covariant form (as residuated maps) is more often used since it is more convenient; namely compositions of residuated maps are handled more easily. In this paper we show that this is not a serious disadvantage of the contravariant form (at least in the natural context for uniform structures, where we need it), by introducing an operation of composition in the complete lattice Gal(L, L) of all (contravariant) Galois connections in a complete lattice L, that allows us to work with Galois connections in the same way as one usually works with residuated maps. This operation endows Gal(L, L) with a structure of quantale whenever L is a locale, allowing the description of uniform structures in terms of Galois connections.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Received August 18, 2004; accepted in final form September 13, 2004.
Rights and permissions
About this article
Cite this article
Picado, J. The quantale of Galois connections. Algebra univers. 52, 527–540 (2005). https://doi.org/10.1007/s00012-004-1901-1
Issue Date:
DOI: https://doi.org/10.1007/s00012-004-1901-1