All Cartesian closed categories of quasicontinuous domains consist of domains

DOI10.1016/j.tcs.2015.05.014zbMath1328.68123OpenAlexW328904006MaRDI QIDQ2355690

Xiaodong Jia, Hui Kou, Achim Jung, Haoran Zhao, Qing-Guo Li

Publication date: 24 July 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.05.014

zbMATH Keywords

Cartesian closed categoryquasicontinuous domainmeet-continuity\(\mathrm{meet}^\ast\)-continuity

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (6)

A Cartesian closed category of domains with almost algebraic bases ⋮ m-Algebraic lattices in formal concept analysis ⋮ Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains ⋮ Unnamed Item ⋮ The probabilistic powerdomain from a topological viewpoint ⋮ A topology on lattice-ordered groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quasicontinuous domains and the Smyth powerdomain
• QRB, QFS, and the probabilistic powerdomain
• The largest Cartesian closed category of domains
• CPO's of measures for nondeterminism
• Chain-complete posets and directed sets with applications
• QFS-domains and their Lawson compactness
• The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
• QRB-Domains and the Probabilistic Powerdomain
• Continuous Lattices and Domains

This page was built for publication: All Cartesian closed categories of quasicontinuous domains consist of domains