Please use this identifier to cite or link to this item:
Title: The Other Closure and Complete Sublocales
Authors: Clementino, Maria Manuel 
Picado, Jorge 
Pultr, Aleš 
Keywords: Frame, Locale, Frame congruence, Sublocale, Subfit frame, c-subfit frame, Fit frame, Regular frame, Fitted sublocale, Codense sublocale, Complete sublocale, Weakly complete sublocale
Issue Date: 2018
Publisher: Springer
Project: UID/MAT/00324/ 2013 
Serial title, monograph or event: Applied Categorical Structures
Volume: 26
Abstract: Sublocales of a locale (frame, generalized space) can be equivalently represented by frame congruences. In this paper we discuss, a.o., the sublocales corresponding to complete congruences, that is, to frame congruences which are closed under arbitrary meets, and present a “geometric” condition for a sublocale to be complete. To this end we make use of a certain closure operator on the coframe of sublocales that allows not only to formulate the condition but also to analyze certain weak separation properties akin to subfitness or T_1. Trivially, every open sublocale is complete. We specify a very wide class of frames, containing all the subfit ones, where there are no others. In consequence, e.g., in this class of frames, complete homomorphisms are automatically Heyting.
DOI: 10.1007/s10485-018-9516-4
Rights: embargoedAccess
Appears in Collections:I&D CMUC - Artigos em Revistas Internacionais

Files in This Item:
File Description SizeFormat
ClementinoPicadoPultr.pdf378.78 kBAdobe PDFView/Open
Show full item record

Citations 10

checked on Aug 2, 2022

Page view(s)

checked on Sep 17, 2022


checked on Sep 17, 2022

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.