In:
Mathematical Structures in Computer Science, Cambridge University Press (CUP), Vol. 3, No. 2 ( 1993-06), p. 137-159
Kurzfassung:
In the theory of denotational semantics of programming languages, several authors have constructed various kinds of universal domains. We present here a categorical generalization of a well-known result in model theory, which we use to characterize large classes of reasonable categories that contain universal homogeneous objects. The existence of such objects is characterized by the condition that the finite objects in the category satisfy the amalgamation property. We derive from this the existence and uniqueness of universal homogeneous domains for several categories of bifinite domains, with embedding-projection-pairs as morphisms. We also obtain universal homogeneous objects for various categories of stable bifinite domains. In contrast, several categories of event domains and concrete domains and the category of all coherent Scott-domains do not contain universal homogeneous objects. Finally, we show that all our constructions can be performed effectively.
Materialart:
Online-Ressource
ISSN:
0960-1295
,
1469-8072
DOI:
10.1017/S0960129500000177
Sprache:
Englisch
Verlag:
Cambridge University Press (CUP)
Publikationsdatum:
1993
ZDB Id:
2002549-X
ZDB Id:
1070265-9
SSG:
17,1