The categorical equivalence between algebraic domains and F-augmented closure spaces.
From MaRDI portal
Publication:2264118
DOI10.1007/s11083-014-9318-8zbMath1337.06003OpenAlexW1970409982MaRDI QIDQ2264118
Publication date: 20 March 2015
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11083-014-9318-8
Categorical methods in general topology (54B30) Representation theory of lattices (06B15) Preorders, orders, domains and lattices (viewed as categories) (18B35) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (9)
Representation of FS-domains based on closure spaces ⋮ The categorical equivalence between domains and interpolative generalized closure spaces ⋮ New representations of algebraic domains and algebraic L-domains via closure systems ⋮ On subset families that form a continuous lattice ⋮ A logic for Lawson compact algebraic L-domains ⋮ Continuous Domains in Formal Concept Analysis* ⋮ Representation of bifinite domains by BF-closure spaces ⋮ A topology on lattice-ordered groups ⋮ A representation of continuous lattices based on closure spaces
Cites Work
- A uniform approach to inductive posets and inductive closure
- Meet-distributive lattices and the anti-exchange closure
- General Stone duality.
- Combinations of closure relations
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Continuous Lattices and Domains
- On the combination of topologies
- The Theory of Representation for Boolean Algebras
- Completely Distributive Complete Lattices
- Ideals in Partially Ordered Sets
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The categorical equivalence between algebraic domains and F-augmented closure spaces.
