Exponentials in a Cartesian closed category which contains all algebraic domains

DOI10.1007/S10485-014-9378-3MaRDI QIDQ748705zbMATH OpenOpenAlexWikidataFDO

Authors Xiaoyong Xi, Yongming 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

way-below relationexponentialalgebraic domainsCartesian closed

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1870515
• On the largest Cartesian closed category of stable domains.
• Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\)
• scientific article; zbMATH DE number 1829710
• A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains

Cites work

• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
• A Powerdomain Construction
• Cartesian closed stable categories
• Continuous Lattices and Domains
• Domain semantics of possibility computations
• The largest Cartesian closed category of domains
• Topology, domain theory and theoretical computer science

Cited in

(2)

• scientific article; zbMATH DE number 727011 (Why is no real title available?)
• scientific article; zbMATH DE number 1870515 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q748705)