Details
| Original language | English |
|---|---|
| Pages (from-to) | 823-854 |
| Number of pages | 32 |
| Journal | Applied categorical structures |
| Volume | 26 |
| Issue number | 5 |
| Publication status | Published - 9 Dec 2018 |
Abstract
A subset of a topological space is hypercompact if its saturation (the intersection of its neighborhoods) is generated by a finite set. Locally hypercompact spaces are defined by the existence of hypercompact neighborhood bases at each point. We exhibit many useful properties of such spaces, often based on Rudin’s Lemma, which is equivalent to the Ultrafilter Principle and ensures that the Scott spaces of quasicontinuous domains are exactly the locally hypercompact sober spaces. We characterize their patch spaces (the Lawson spaces) as hyperconvex and hyperregular pospaces in which every monotone net has a supremum to which it converges. Moreover, we find extensions to the non-sober case by replacing suprema with cuts, and we provide topological generalizations of known facts for quasicontinuous posets. Similar results are obtained for hypercompactly based spaces and quasialgebraic posets. Furthermore, locally hypercompact spaces are described by certain relations between finite sets and points, providing a quasiuniform approach to such spaces. Our results lead to diverse old and new equivalences and dualities for categories of locally hypercompact spaces or quasicontinuous posets.
Keywords
- (Locally) hypercompact, (Locally) supercompact, (Strictly, weakly) sober, Core, Foot, Quasicontinuous, Quasiuniformity, Well-filtered
ASJC Scopus subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
- General Computer Science
- Mathematics(all)
- Algebra and Number Theory
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Applied categorical structures, Vol. 26, No. 5, 09.12.2018, p. 823-854.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - Categories of Locally Hypercompact Spaces and Quasicontinuous Posets
AU - Erné, Marcel
PY - 2018/12/9
Y1 - 2018/12/9
N2 - A subset of a topological space is hypercompact if its saturation (the intersection of its neighborhoods) is generated by a finite set. Locally hypercompact spaces are defined by the existence of hypercompact neighborhood bases at each point. We exhibit many useful properties of such spaces, often based on Rudin’s Lemma, which is equivalent to the Ultrafilter Principle and ensures that the Scott spaces of quasicontinuous domains are exactly the locally hypercompact sober spaces. We characterize their patch spaces (the Lawson spaces) as hyperconvex and hyperregular pospaces in which every monotone net has a supremum to which it converges. Moreover, we find extensions to the non-sober case by replacing suprema with cuts, and we provide topological generalizations of known facts for quasicontinuous posets. Similar results are obtained for hypercompactly based spaces and quasialgebraic posets. Furthermore, locally hypercompact spaces are described by certain relations between finite sets and points, providing a quasiuniform approach to such spaces. Our results lead to diverse old and new equivalences and dualities for categories of locally hypercompact spaces or quasicontinuous posets.
AB - A subset of a topological space is hypercompact if its saturation (the intersection of its neighborhoods) is generated by a finite set. Locally hypercompact spaces are defined by the existence of hypercompact neighborhood bases at each point. We exhibit many useful properties of such spaces, often based on Rudin’s Lemma, which is equivalent to the Ultrafilter Principle and ensures that the Scott spaces of quasicontinuous domains are exactly the locally hypercompact sober spaces. We characterize their patch spaces (the Lawson spaces) as hyperconvex and hyperregular pospaces in which every monotone net has a supremum to which it converges. Moreover, we find extensions to the non-sober case by replacing suprema with cuts, and we provide topological generalizations of known facts for quasicontinuous posets. Similar results are obtained for hypercompactly based spaces and quasialgebraic posets. Furthermore, locally hypercompact spaces are described by certain relations between finite sets and points, providing a quasiuniform approach to such spaces. Our results lead to diverse old and new equivalences and dualities for categories of locally hypercompact spaces or quasicontinuous posets.
KW - (Locally) hypercompact
KW - (Locally) supercompact
KW - (Strictly, weakly) sober
KW - Core
KW - Foot
KW - Quasicontinuous
KW - Quasiuniformity
KW - Well-filtered
UR - http://www.scopus.com/inward/record.url?scp=85045246354&partnerID=8YFLogxK
U2 - 10.1007/s10485-018-9536-0
DO - 10.1007/s10485-018-9536-0
M3 - Article
AN - SCOPUS:85045246354
VL - 26
SP - 823
EP - 854
JO - Applied categorical structures
JF - Applied categorical structures
SN - 0927-2852
IS - 5
ER -