Hostname: page-component-8448b6f56d-m8qmq Total loading time: 0 Render date: 2024-04-19T12:15:26.375Z Has data issue: false hasContentIssue false

On categories generalizing universal domains

Published online by Cambridge University Press:  01 April 1999

VĚRA TRNKOVÁ
Affiliation:
Mathematical Institute, Charles University, Sokolovská 83, 180 00 Prague 8, Czech Republic. Email: trnkova@karlin.mff.cuni.cz
JIŘÍ VELEBIL
Affiliation:
Department of Mathematics, FEL ČVUT, Technická 2, 166 28 Prague 6, Czech Republic. Email: velebil@math.feld.cvut.cz

Abstract

Scott domains, originated and commonly used in formal semantics of computer languages, were generalized by J. Adámek to Scott complete categories. We prove that the categorical counterpart of the result of D. Scott – the existence of a countable based Scott domain universal with respect to all countably based Scott domains – is no longer valid for the categorical generalization. However, all obstacles disappear if the notion of the Scott complete category is weakened to a categorical counterpart of bifinite domains.

Type
Research Article
Copyright
1999 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

Both authors gratefully acknowledge the financial support of the Grant Agency of the Czech Republic under the grant No. 201/96/0119.