The largest Cartesian closed category of domains
Most of the studies in semantics of programming languages use 'domains', i.e. \(\omega\)-algebraic cpo's; the corresponding category \(\omega\) ACPO should be closed under function-space formation, reasonably. This is not true however. One does obtain Cartesian closure (the technical name of what we want) by considering the category \(\omega\) ACPO-CC of consistently complete domains, but now the powerdomain construction takes us outside the category. Plotkin has conjectured that the category SFP which is an extension of consistently complete domains while still a subcategory of that of domains (and which is closed under powerdomain and function-space formation) is the largest category of domains closed under the constructions aforementioned. The paper under review proves this, making extensive use of the set of finite elements of a domain and of the set of minimal bounds of a poset. Finally some extensions are considered in case the notion of 'domain' is modified either to effectively given domains or to continuous domains: the author conjectures some of the results to be still true.
- A Powerdomain Construction
- Bases for Chain-complete Posets
- Effectively given domains
- scientific article; zbMATH DE number 3716749 (Why is no real title available?)
- scientific article; zbMATH DE number 3739608 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- Function spaces from core compact coherent spaces to continuous B-domains
- Universal profinite domains
- Event structures and domains
- Domain theory in logical form
- Relation algebraic domain constructions
- Coherence and consistency in domains
- Categories of embeddings
- Topology, domain theory and theoretical computer science
- Factorisation systems on domains
- On a generalized product for domains
- Information categories
- Embedding -continuous posets in function spaces of domains
- Algebraic domains of natural transformations
- The common order-theoretic structure of version spaces and ATMSs
- A partial solution to an open problem of Amadio and Curien
- Describing semantic domains with sprouts
- Domain theoretic models of polymorphism
- A category of compositional domain-models for separable Stone spaces.
- When does the class \([{\mathcal A} \longrightarrow {\mathcal B}]\) consist of continuous domains?
- A rational reconstruction of the domain of feature structures
- Compact continuous \(L\)-domains
- A Cartesian closed category of domains with almost algebraic bases
- Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains
- Cartesian closedness of a category of non-frame valued complete fuzzy orders
- Cartesian closed categories of separable Scott domains
- All Cartesian closed categories of quasicontinuous domains consist of domains
- Cartesian closed stable categories
- A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
- A concrete realization of the Hoare powerdomain
- On the largest Cartesian closed category of stable domains.
- Function spaces from coherent continuous domains to RB-domains
- Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\)
- Some new intrinsic topologies on complete lattices and the Cartesian closedness of the category of strongly continuous lattices
- scientific article; zbMATH DE number 3986621 (Why is no real title available?)
- Cartesian closed categories of \(F\mathcal Z\)-domains
- scientific article; zbMATH DE number 48416 (Why is no real title available?)
- Universal domains and the amalgamation property
- scientific article; zbMATH DE number 730303 (Why is no real title available?)
- Function spaces from Lawson compact continuous domains to continuous B-domains
- scientific article; zbMATH DE number 1559386 (Why is no real title available?)
- The largest Cartesian closed category of domains, considered constructively
- Two Cartesian closed categories of information algebras
- Continuous domain theory in logical form
- On the largest Cartesian closed category of stable domains
- Disjunctive systems and L-Domains
- Convex powerdomains. I
- Cartesian closed categories of algebraic cpos
- Linear domains and linear maps
- Cartesian closed categories of domains and the space proj(D)
- The largest cartesian closed category of stable domains
- A characterization of the least-fixed-point operator by dinaturality
- On stable domains
- -separating domains, strong-compact spaces and FS-domains
- A bifinite domain based on closed circular rings
- Exponentials in a Cartesian closed category which contains all algebraic domains
- Using information systems to solve recursive domain equations
- Non-deterministic information systems and their domains
This page was built for publication: The largest Cartesian closed category of domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q761042)
