A Cartesian closed subcategory of CONT which contains all continuous domains

DOI10.1016/J.INS.2003.06.006MaRDI QIDQ2486012zbMATH OpenOpenAlexFDO

Authors Zhongqiang Yang

Publication date 5 August 2005

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2003.06.006

zbMATH Keywords

Cartesian closedCategoryContinuous domainWay-below relation

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)

Review text

Neither the category \(\mathcal{CONT}\) of all continuous domains and all mappings preserving directed sups nor the category \(\mathcal{ALGD}\) of all algebraic domains and all mappings preserving directed sups are Cartesian closed. Therefore it is very important to construct Cartesian closed subcategories of the above two categories. This paper shows that the category \(\mathcal{CD}\) of all continuous domains and all mappings preserving every directed sup and the way-below relation is Cartesian closed.

Recommendations

• Cartesian closed extensions of subcategories of CONT
• scientific article; zbMATH DE number 1829710
• Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\)
• Cartesian closed stable categories
• On Cartesian closed extensions of non-pointed domains

Cites work

• scientific article; zbMATH DE number 4063163 (Why is no real title available?)
• scientific article; zbMATH DE number 4089617 (Why is no real title available?)
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Products of fuzzy topological spaces
• The largest Cartesian closed category of domains

Cited in

(18)

• Cartesian closed extensions of subcategories of CONT
• Continuous \(L\)-domains
• Cartesian closed categories of separable Scott domains
• Two Cartesian closed subcategories of fuzzy domains
• All Cartesian closed categories of quasicontinuous domains consist of domains
• On Cartesian closed extensions of non-pointed domains
• Cartesian closed stable categories
• The Cartesian closedness of the category of posets
• Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\)
• scientific article; zbMATH DE number 4083878 (Why is no real title available?)
• scientific article; zbMATH DE number 3995944 (Why is no real title available?)
• Two Cartesian closed categories of information algebras
• scientific article; zbMATH DE number 1829710 (Why is no real title available?)
• A Cartesian closed full subcategory of the category c-spaces
• Cartesian closed subcategories of topological fuzzes
• A remark on the meet of two Cartesian closed categories
• Free algebras over continuous spaces
• Exponentials in a Cartesian closed category which contains all algebraic domains

This page was built for publication: A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains

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