Hostname: page-component-6bf8c574d5-qdpjg Total loading time: 0 Render date: 2025-02-22T19:50:23.585Z Has data issue: false hasContentIssue false

A categorical generalization of Scott domains

Published online by Cambridge University Press:  01 October 1997

JIŘÍ ADÁMEK
Affiliation:
Technical University of Braunschweig, P.O. Box 3329, 38023 Braunschweig, Germany. Email: adamek@iti.cs.tu-bs.de
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Algebraic CPOs naturally generalize to finitely accessible categories, and Scott domains (i.e., consistently complete algebraic CPOs) then correspond to what we call Scott-complete categories: finitely accessible, consistently (co-)complete categories. We prove that the category SCC of all Scott-complete categories and all continuous functors is cartesian closed and provides fixed points for a large collection of endofunctors. Thus, SCC can serve as a basis for semantics of computer languages.

Type
Research Article
Copyright
1997 Cambridge University Press