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: D → E into complete lattices E preserving all existing suprema have unique extensions to Proj(D), where λc.λx.x; ∏ c is the embedding of D into Proj(D).
Preview
Unable to display preview. Download preview PDF.
References
Berardi S. [1991] Retractions on dI-domains as a model for type:type, in: Information and Computation, vol.94 (1991), pp.204–231
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–89
Cantor G. [1884] De la puissance des ensembles parfaits de points, Acta Math. 4 (1884), pp.381–392
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–363
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, 1980
Gunter C. [1985] Profinite Solutions For Recursive Domain Equations, Doctortal Dissertation, University of Wisconsin at Madison, 1985
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, 1990
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, 1973
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, 1977
Huth M. [1990] Projection-stable and Zero Dimensional Domains, Doctoral Dissertation, Tulane University 1990
Huth M. [1991] dI-domains and the Hoare power domain, preprint, Tulane University 1991
Jung A. [1989] Cartesian Closed Categories of Domains, CWI Tract 66, Amsterdam 1989, 110pp.
Mislove M.W. and F.J. Oles [1991] A Simple Language Supporting Angelic Nondeterminism and Parallel Composition, these proceedings
Scott D. [1982] Domains for Denotational Semantics, in: ICALP 82, M.Nielsen and E.M.Schmidt (eds.), Springer LNCS 140 (1982), pp.577–613
Smyth M.B. [1983] The Largest Cartesian Closed Category of Domains, TCS 27 (1983), pp.109–119
Winskel G. [1985] On Power Domains And Modality, TCS 36 (1985), pp.127–137, North-Holland
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 Verlag
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huth, M. (1992). Cartesian closed categories of domains and the space proj(D). In: Brookes, S., Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Semantics. MFPS 1991. Lecture Notes in Computer Science, vol 598. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55511-0_13
Download citation
DOI: https://doi.org/10.1007/3-540-55511-0_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55511-7
Online ISBN: 978-3-540-47194-3
eBook Packages: Springer Book Archive