Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/7741
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Picado, Jorge | - |
dc.date.accessioned | 2009-02-17T11:17:30Z | - |
dc.date.available | 2009-02-17T11:17:30Z | - |
dc.date.issued | 2005 | en_US |
dc.identifier.citation | Algebra Universalis. 52:4 (2005) 527-540 | en_US |
dc.identifier.uri | https://hdl.handle.net/10316/7741 | - |
dc.description.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. | en_US |
dc.language.iso | eng | eng |
dc.rights | openAccess | eng |
dc.title | The quantale of Galois connections | en_US |
dc.type | article | en_US |
dc.identifier.doi | 10.1007/s00012-004-1901-1 | en_US |
uc.controloAutoridade | Sim | - |
item.fulltext | Com Texto completo | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.languageiso639-1 | en | - |
item.openairetype | article | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
crisitem.author.researchunit | CMUC - Centre for Mathematics of the University of Coimbra | - |
crisitem.author.orcid | 0000-0001-7837-1221 | - |
Appears in Collections: | FCTUC Matemática - Artigos em Revistas Internacionais |
SCOPUSTM
Citations
15
checked on May 1, 2023
WEB OF SCIENCETM
Citations
10
7
checked on Oct 2, 2024
Page view(s) 50
466
checked on Oct 16, 2024
Download(s) 50
788
checked on Oct 16, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.