Topological representations of Lawson compact algebraic L-domains and Scott domains

DOI10.1007/S00012-023-00820-WMaRDI QIDQ6111232

Qing-Guo Li, Xiang-Nan Zhou, Longchun Wang

Publication date: 3 August 2023

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

categorical equivalenceScott continuous functionsdomain theoryLawson compact algebraic L-domains

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topological lattices, etc. (topological aspects) (54H12) Continuous lattices and posets, applications (06B35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logical approach to stable domains
• A representation of L-domains by information systems
• Information systems revisited -- the general continuous case
• Dcpo-completion of posets
• Formal topological characterizations of various continuous domains
• Domain theory in logical form
• Topology, domain theory and theoretical computer science
• A logic for Lawson compact algebraic L-domains
• Continuous L-domains in logical form
• Bounded complete domains and their logical form
• \(SI\)-continuous spaces and continuous posets
• A note on continuous partially ordered sets
• A direct characterization of the monotone convergence space completion
• The categorical equivalence between domains and interpolative generalized closure spaces
• Filter Monads, Continuous Lattices and Closure Systems
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory

This page was built for publication: Topological representations of Lawson compact algebraic L-domains and Scott domains