Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 95-113 |
| Seitenumfang | 19 |
| Fachzeitschrift | Topology and its applications |
| Jahrgang | 44 |
| Ausgabenummer | 1-3 |
| Publikationsstatus | Veröffentlicht - 22 Mai 1992 |
Abstract
A quasiordered set Q (qoset for short) is ideal-distributive iff QI, the lattice of ideals in the sense of Frink, is distributive. The principal ideal embedding of Q in QI is characterized by certain density properties, by extremal conditions and by a universal property. The reflector I from the category of qosets and ideal-continuous maps (where inverse images of ideals are ideals) to the category of algebraic lattices and join-preserving maps has several interesting subreflectors, for example, from the category of certain ideal-distributive qosets (including all bounded distributive lattices) to the subcategory of algebraic frames. Generalizing the classical Stone duality for distributive (semi-)lattices, we establish a dual equivalence between the category of ideal-distributive posets with so-called ∧-stable ideal-continuous maps and the category of pairs (X,B) where B is a base of a sober topology on X and B is meet-dense in the collection of all compact open sets; morphisms in this category preserve the distinguished bases under inverse images. We also study a self-dual notion of distributivity for qosets, compare it with ideal-distributivity and determine the corresponding Stone representation.
ASJC Scopus Sachgebiete
- Mathematik (insg.)
- Geometrie und Topologie
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Topology and its applications, Jahrgang 44, Nr. 1-3, 22.05.1992, S. 95-113.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
}
TY - JOUR
T1 - Ideal completion and Stone representation of ideal-distributive ordered sets
AU - David, Elias
AU - Erné, Marcel
PY - 1992/5/22
Y1 - 1992/5/22
N2 - A quasiordered set Q (qoset for short) is ideal-distributive iff QI, the lattice of ideals in the sense of Frink, is distributive. The principal ideal embedding of Q in QI is characterized by certain density properties, by extremal conditions and by a universal property. The reflector I from the category of qosets and ideal-continuous maps (where inverse images of ideals are ideals) to the category of algebraic lattices and join-preserving maps has several interesting subreflectors, for example, from the category of certain ideal-distributive qosets (including all bounded distributive lattices) to the subcategory of algebraic frames. Generalizing the classical Stone duality for distributive (semi-)lattices, we establish a dual equivalence between the category of ideal-distributive posets with so-called ∧-stable ideal-continuous maps and the category of pairs (X,B) where B is a base of a sober topology on X and B is meet-dense in the collection of all compact open sets; morphisms in this category preserve the distinguished bases under inverse images. We also study a self-dual notion of distributivity for qosets, compare it with ideal-distributivity and determine the corresponding Stone representation.
AB - A quasiordered set Q (qoset for short) is ideal-distributive iff QI, the lattice of ideals in the sense of Frink, is distributive. The principal ideal embedding of Q in QI is characterized by certain density properties, by extremal conditions and by a universal property. The reflector I from the category of qosets and ideal-continuous maps (where inverse images of ideals are ideals) to the category of algebraic lattices and join-preserving maps has several interesting subreflectors, for example, from the category of certain ideal-distributive qosets (including all bounded distributive lattices) to the subcategory of algebraic frames. Generalizing the classical Stone duality for distributive (semi-)lattices, we establish a dual equivalence between the category of ideal-distributive posets with so-called ∧-stable ideal-continuous maps and the category of pairs (X,B) where B is a base of a sober topology on X and B is meet-dense in the collection of all compact open sets; morphisms in this category preserve the distinguished bases under inverse images. We also study a self-dual notion of distributivity for qosets, compare it with ideal-distributivity and determine the corresponding Stone representation.
KW - completion
KW - duality
KW - ideal
KW - ideal-continuous
KW - ideal-distributive
KW - join- and meet-dense
KW - join- and meet-stable
KW - poset
KW - Qoset
KW - reflective subcategory
KW - Stone space
UR - http://www.scopus.com/inward/record.url?scp=38249012946&partnerID=8YFLogxK
U2 - 10.1016/0166-8641(92)90083-C
DO - 10.1016/0166-8641(92)90083-C
M3 - Article
AN - SCOPUS:38249012946
VL - 44
SP - 95
EP - 113
JO - Topology and its applications
JF - Topology and its applications
SN - 0166-8641
IS - 1-3
ER -