Advertisement

Cartesian closed categories of domains and the space proj(D)

  • Michael Huth
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 598)

Abstract

This paper studies algebraic dcpos and their space \(\left[ {D\underrightarrow {pr}D} \right]\)of Scottcontinuous projections. Let ALG be the category of algebraic dcpos with bottom and Scott-continuous maps as arrows. If C is a full cartesian closed subcategory of ALG such that C is closed under D\(\left[ {D\underrightarrow {pr}D} \right]\), then every object D is projection-stable, i.e., im(p) is algebraic for all p\(\left[ {D\underrightarrow {pr}D} \right]\). This is equivalent to assuming that all order-dense chains in K(D) are degenerate. If C contains an isomorphic copy of the flat natural numbers, then C is not closed under finitary Scott-continuous retractions. In this case, C contains an object D, such that K(D) is not a lower set in D. This puts serious constraints on the existence of cartesian closed categories closed under D\(\left[ {D\underrightarrow {pr}D} \right]\). The cartesian closed category of dI-domains, however, is closed under D → Retr(D) and D → Proj(D), where Retr(D) is the dI-domain of all stable Scott-continuous retractions in the stable order. The dI-domain Proj(D) consists of all p ∃ Retr(D) which are below the identity in the stable order. All dI-domains are projection-stable, and Proj(D) is isomorphic to the Hoare power domain of the ideal completion of the poset of complete primes of D. It is therefore a completely distributive bialgebraic lattice and all maps f: DE into complete lattices E preserving all existing suprema have unique extensions to Proj(D), where λcx.x; ∏ c is the embedding of D into Proj(D).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Berardi S. [1991] Retractions on dI-domains as a model for type:type, in: Information and Computation, vol.94 (1991), pp.204–231CrossRefGoogle Scholar
  2. Berry G. [1978] Stable models of typed λ-caculi, in: Fifth International Colloquium on Automata, Languages and Programs, Springer Verlag, Lecture Notes in Computer Science, vol. 62 (1978), pp.72–89Google Scholar
  3. Cantor G. [1884] De la puissance des ensembles parfaits de points, Acta Math. 4 (1884), pp.381–392Google Scholar
  4. Coquand T., C. Gunter and G. Winskel [1989] DI-Domains as a Model of Polymorphism, in: Third International Conference on the Mathematical Foundations of Programming Semantics, Springer Verlag, Lecture Notes in Computer Science, vol. 298 (1989), pp.344–363Google Scholar
  5. Gierz G., K.H.Hofmann, K.Keimel, J.Lawson, M.W. Mislove and D.Scott [1980] A Compendium of Continuous Lattices, Springer Verlag, New York, 1980Google Scholar
  6. Gunter C. [1985] Profinite Solutions For Recursive Domain Equations, Doctortal Dissertation, University of Wisconsin at Madison, 1985Google Scholar
  7. Gunter C., P.Mosses and D.Scott [1990] Semantic Domains And Denotational Semantics, in: Handbook of Theoretical Computer Science, vol.2, Jan van Leeuwen (ed.), North-Holland, Amsterdam, 1990Google Scholar
  8. Hofmann K.H., M.W. Mislove, and A. Stralka [1973] Dimension Raising Maps in Topological Algebra, Mathematische Zeitschrift 135, pp.1–36, Springer Verlag, New York, 1973Google Scholar
  9. Hofmann K.H. and M.W. Mislove [1977] The Lattice of Kernel Operators and Topological Algebra, Mathematische Zeitschrift 154, pp.175–188, Springer Verlag, New York, 1977Google Scholar
  10. Huth M. [1990] Projection-stable and Zero Dimensional Domains, Doctoral Dissertation, Tulane University 1990Google Scholar
  11. Huth M. [1991] dI-domains and the Hoare power domain, preprint, Tulane University 1991Google Scholar
  12. Jung A. [1989] Cartesian Closed Categories of Domains, CWI Tract 66, Amsterdam 1989, 110pp.Google Scholar
  13. Mislove M.W. and F.J. Oles [1991] A Simple Language Supporting Angelic Nondeterminism and Parallel Composition, these proceedingsGoogle Scholar
  14. Scott D. [1982] Domains for Denotational Semantics, in: ICALP 82, M.Nielsen and E.M.Schmidt (eds.), Springer LNCS 140 (1982), pp.577–613Google Scholar
  15. Smyth M.B. [1983] The Largest Cartesian Closed Category of Domains, TCS 27 (1983), pp.109–119Google Scholar
  16. Winskel G. [1985] On Power Domains And Modality, TCS 36 (1985), pp.127–137, North-HollandGoogle Scholar
  17. Winskel G.[1988] An Introduction to Event Structures, in: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Lecture Notes in Computer Science 354 (1988), pp.364–397, Springer VerlagGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Michael Huth
    • 1
  1. 1.Department of MathematicsTulane UniversityNew Orleans

Personalised recommendations