Cartesian closed stable categories

DOI10.1016/J.INS.2004.04.001MaRDI QIDQ2486008zbMATH OpenOpenAlexFDO

Authors Ni Liu, Shenggang Li

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.2004.04.001

zbMATH Keywords

\(L\)-domainbc-domainCartesian closed categorydomain theorystable function

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Review text

The authors have tried to find out a Cartesian closed full subcategory of the category \(\mathcal{SLP}\) of \(L\)-domains and stable functions which contains the category \(\mathcal{DL}\) of dl-domains and stable functions. To this end, they have shown that in any full subcategory of \(\mathcal{SLP}\), the exponentials, if they exist, are the stable function spaces. They have succeeded in finding out the category \(\mathcal{SDMBC}\) of distributive and meet-continuous bc-domains, the category \(\mathcal{SDCBC}\) of distributive and continuous bc-domains, and the category \(\mathcal{SDABC}\) of distributive and algebraic bc-domains as such categories.

Recommendations

• On the largest Cartesian closed category of stable domains.
• On the largest Cartesian closed category of stable domains
• On Cartesian closed extensions of non-pointed domains
• A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
• scientific article; zbMATH DE number 1829710

Cites work

• An algebraic approach to stable domains
• Computational interpretations of linear logic
• Data Types as Lattices
• scientific article; zbMATH DE number 3681970 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 1159734 (Why is no real title available?)
• scientific article; zbMATH DE number 4118557 (Why is no real title available?)
• On stable domains
• Stable neighbourhoods
• The largest Cartesian closed category of domains
• The largest cartesian closed category of stable domains

Cited in

(18)

• Cartesian closedness in categories with an idempotent closure operator and closed morphisms
• Cartesian closed categories of separable Scott domains
• On Cartesian closed extensions of non-pointed domains
• A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
• On the largest Cartesian closed category of stable domains.
• scientific article; zbMATH DE number 3884351 (Why is no real title available?)
• Generalized fuzzy regular filters on residuated lattices
• Fuzzy prime Boolean filters and their operations in IMTL-algebras
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 55673 (Why is no real title available?)
• scientific article; zbMATH DE number 1284147 (Why is no real title available?)
• scientific article; zbMATH DE number 1159734 (Why is no real title available?)
• scientific article; zbMATH DE number 7407795 (Why is no real title available?)
• On the largest Cartesian closed category of stable domains
• A Cartesian closed extension of the category of locales
• scientific article; zbMATH DE number 956831 (Why is no real title available?)
• Exponentials in a Cartesian closed category which contains all algebraic domains
• Fixed points in Cartesian closed categories

This page was built for publication: Cartesian closed stable categories

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