Pseudo-retract functors for local lattices and bifinte L-domains

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Recently, a new category of domains used for the mathematical foundations of denotational semantics, that of L-domains, has been under study. In this paper we consider a related category of posets, that of local lattices. First, a completion operator taking posets to local lattices is developed, and then this operator is extended to a functor from posets with embedding-projection pairs to local lattices with embedding-projection pairs. The result of applying this functor to a local lattice yields a local lattice isomorphic to the first; this functor is a pseudo-retract. Using the functor into local lattices, a continuous pseudo-retraction functor from w-bifinite posets to w-bifinite L-domains can be constructed. Such a functor takes a universal domain for the ω-bifinite posets to a universal domain for the ω-bifinite L-domains. Moreover, the existence of such a functor implies that, from the existence of a saturated universal domain for the ω-algebraic bifinites, we can conclude the existence of a saturated universal domain for the w-bifinite L-domains.

Original languageEnglish (US)
Title of host publicationMathematical Foundations of Programming Semantics - 5th International Conference, Proceedings
EditorsMichael G. Main, Michael W. Mislove, Austin C. Melton, David A. Schmidt
PublisherSpringer
Pages351-363
Number of pages13
ISBN (Print)9780387973753
DOIs
StatePublished - 1990
Externally publishedYes
Event5th International Conference on the Mathematical Foundations of Programming Semantics, 1989 - New Orleans, United States
Duration: Mar 29 1989Apr 1 1989

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume442 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other5th International Conference on the Mathematical Foundations of Programming Semantics, 1989
Country/TerritoryUnited States
CityNew Orleans
Period3/29/894/1/89

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Pseudo-retract functors for local lattices and bifinte L-domains'. Together they form a unique fingerprint.

Cite this