2000
DOI: 10.1016/s0022-4049(99)00193-0
|View full text |Cite
|
Sign up to set email alerts
|

Higher order dissolutions and Boolean coreflections of locales

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
7
0

Year Published

2001
2001
2021
2021

Publication Types

Select...
5
3

Relationship

0
8

Authors

Journals

citations
Cited by 29 publications
(10 citation statements)
references
References 10 publications
0
7
0
Order By: Relevance
“…It is shown in [13,Lemma 3.2] that h is nowhere dense if and only if h * (0) is a dense element. Further, [11,Proposition 3.9] shows that h: M → L is nowhere dense precisely if, viewed as locales, Fix(h * h) has zero meet (in the co-frame of sublocales) with the smallest dense sublocale of L. Thus, this notion of nowhere density agrees with that of Plewe [30].…”
Section: H(w) ∨ T = 1 and H(w) ∧ T = H(c)mentioning
confidence: 71%
“…It is shown in [13,Lemma 3.2] that h is nowhere dense if and only if h * (0) is a dense element. Further, [11,Proposition 3.9] shows that h: M → L is nowhere dense precisely if, viewed as locales, Fix(h * h) has zero meet (in the co-frame of sublocales) with the smallest dense sublocale of L. Thus, this notion of nowhere density agrees with that of Plewe [30].…”
Section: H(w) ∨ T = 1 and H(w) ∧ T = H(c)mentioning
confidence: 71%
“…Plewe's proof in [18] is in terms of sublocales. For the sake of completeness let us give a proof, but a different one carried out entirely in Frm.…”
Section: Weak Pseudocompactness and Bairenessmentioning
confidence: 99%
“…However, if L is scattered, that is, if every congruence of L is complemented [15] or, equivalently, [16] the conditions in 3.1(4) and 3.1(1) are equivalent, as for spaces: …”
Section: Interior-preserving Coversmentioning
confidence: 99%
“…Further, families {X a | a ∈ A} of open sublocales are distributive [15], that is, satisfy S ∧ a∈A X a = a∈A (S ∧ X a ) for all S ∈ S(X). Every sublocale j : S X has a closure cl(j) : cl(S) X, which is the smallest closed sublocale that contains j and an interior int(j) : int(S) X (the largest open sublocale contained in j).…”
Section: Introductionmentioning
confidence: 99%