The other closure and complete sublocales (Preprint)

  <Reference List>
Type: Preprint
National /International: International
Title: The other closure and complete sublocales
Publication Date: 2017-09-25
Authors: - Maria Manuel Clementino
- Jorge Picado
- Ales Pultr
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 that respect all joins, and present a "geometric" condition for a sublocale to be complete. To this end we make use of an operator of closure type that allows not only to formulate the condition but also to analyze certain weak separation properties akin to subfitness or T1.
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.
Institution: DMUC 17-40
Online version: http://www.mat.uc.pt...prints/eng_2017.html
Download: Not available
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support