A unified view of the Dedekind completion of pointfree function rings

Detalhes bibliográficos
Autor(a) principal: Gutiérrez García, Javier
Data de Publicação: 2016
Outros Autores: Mozo Carollo, Imanol, Picado, Jorge
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10316/43890
https://doi.org/10.2989/16073606.2016.1241959
Resumo: We provide the appropriate unifying framework for the various descriptions of the Dedekind completion of the ring C(L) of continuous real functions on a frame L. It is based on suitable Galois connections and a general result about Galois connections, showing once more the ubiquity of (Galois) adjunctions between partially ordered sets and their conceptual simplicity and effectiveness.
id RCAP_7db1d73cc130a1e7f9fd064e193b30cd
oai_identifier_str oai:estudogeral.uc.pt:10316/43890
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling A unified view of the Dedekind completion of pointfree function ringsWe provide the appropriate unifying framework for the various descriptions of the Dedekind completion of the ring C(L) of continuous real functions on a frame L. It is based on suitable Galois connections and a general result about Galois connections, showing once more the ubiquity of (Galois) adjunctions between partially ordered sets and their conceptual simplicity and effectiveness.Taylor & Francis2016info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10316/43890http://hdl.handle.net/10316/43890https://doi.org/10.2989/16073606.2016.1241959https://doi.org/10.2989/16073606.2016.1241959enghttp://dx.doi.org/10.2989/16073606.2016.1241959Gutiérrez García, JavierMozo Carollo, ImanolPicado, Jorgeinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2021-06-29T10:03:39Zoai:estudogeral.uc.pt:10316/43890Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T20:53:29.617559Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv A unified view of the Dedekind completion of pointfree function rings
title A unified view of the Dedekind completion of pointfree function rings
spellingShingle A unified view of the Dedekind completion of pointfree function rings
Gutiérrez García, Javier
title_short A unified view of the Dedekind completion of pointfree function rings
title_full A unified view of the Dedekind completion of pointfree function rings
title_fullStr A unified view of the Dedekind completion of pointfree function rings
title_full_unstemmed A unified view of the Dedekind completion of pointfree function rings
title_sort A unified view of the Dedekind completion of pointfree function rings
author Gutiérrez García, Javier
author_facet Gutiérrez García, Javier
Mozo Carollo, Imanol
Picado, Jorge
author_role author
author2 Mozo Carollo, Imanol
Picado, Jorge
author2_role author
author
dc.contributor.author.fl_str_mv Gutiérrez García, Javier
Mozo Carollo, Imanol
Picado, Jorge
description We provide the appropriate unifying framework for the various descriptions of the Dedekind completion of the ring C(L) of continuous real functions on a frame L. It is based on suitable Galois connections and a general result about Galois connections, showing once more the ubiquity of (Galois) adjunctions between partially ordered sets and their conceptual simplicity and effectiveness.
publishDate 2016
dc.date.none.fl_str_mv 2016
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10316/43890
http://hdl.handle.net/10316/43890
https://doi.org/10.2989/16073606.2016.1241959
https://doi.org/10.2989/16073606.2016.1241959
url http://hdl.handle.net/10316/43890
https://doi.org/10.2989/16073606.2016.1241959
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv http://dx.doi.org/10.2989/16073606.2016.1241959
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Taylor & Francis
publisher.none.fl_str_mv Taylor & Francis
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799133821605511169

Registros relacionados