Pseudo-Retract Functors for Local Lattices and Bifinite L-Domains

Simple item page
dc.contributor.authorGunter, Elsa L.
dc.date2023-05-17T01:47:55.000
dc.date.accessioned2023-05-22T13:00:20Z
dc.date.available2023-05-22T13:00:20Z
dc.date.issued1989-06-01
dc.date.submitted2007-12-22T13:55:57-08:00
dc.description.abstractRecently, a new category of domains used for the mathematical foundations of denotational semantics, that of L-domains, have 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 ω-bifinite posets to ω-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 ω-bifinite L-domains.
dc.description.commentsUniversity of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-89-37.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/7744
dc.legacy.articleid1826
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1826&context=cis_reports&unstamped=1
dc.source.issue788
dc.source.journalTechnical Reports (CIS)
dc.source.statuspublished
dc.titlePseudo-Retract Functors for Local Lattices and Bifinite L-Domains
dc.typeReport
digcom.contributor.authorGunter, Elsa L.
digcom.identifiercis_reports/788
digcom.identifier.contextkey407849
digcom.identifier.submissionpathcis_reports/788
digcom.typereport
dspace.entity.typePublication
upenn.schoolDepartmentCenterTechnical Reports (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
89_37.pdf
Size:
1.23 MB
Format:
Adobe Portable Document Format
Download
Collection
Reports