Name
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. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1007/s10485-018-9516-4 | Applied Categorical Structures |
Keywords | Field | DocType |
Frame, Locale, Frame congruence, Sublocale, Subfit frame, c-subfit frame, Fit frame, Regular frame, Fitted sublocale, Codense sublocale, Complete sublocale, Weakly complete sublocale, 06D22, 54B05, 54D10 | Discrete mathematics,Closure operator,Coframe,Pure mathematics,Homomorphism,Locale (computer software),Congruence relation,Mathematics | Journal |
Volume | Issue | ISSN |
26 | 5 | 0927-2852 |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Maria Manuel Clementino | 1 | 61 | 25.61 |
| Jorge Picado | 2 | 20 | 10.18 |
| Ales Pultr | 3 | 72 | 24.12 |