Exponentials in a Cartesian closed category which contains all algebraic domains

DOI10.1007/s10485-014-9378-3zbMath1330.18004OpenAlexW1977886988WikidataQ62038109 ScholiaQ62038109MaRDI QIDQ748705

Xiaoyong Xi, Yong-Ming Li

Publication date: 29 October 2015

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-014-9378-3

zbMATH Keywords

exponentialway-below relationalgebraic domainsCartesian closed

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) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cites Work

• Unnamed Item
• Unnamed Item
• The largest Cartesian closed category of domains
• Domain semantics of possibility computations
• Topology, domain theory and theoretical computer science
• Cartesian closed stable categories
• A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
• A Powerdomain Construction
• Continuous Lattices and Domains

This page was built for publication: Exponentials in a Cartesian closed category which contains all algebraic domains