Cartesian closed categories of separable Scott domains

Abstract

We classify all sub-cartesian closed categories of the category of separable Scott domains. The classification employs a notion of coherence degree determined by the possible inconsistency patterns of sets of finite elements of a domain. Using the classification, we determine all sub-cartesian closed categories of the category of separable Scott domains that contain a universal object. The separable Scott domain models of the λβ-calculus are then classified up to a retraction by their coherence degrees.

DOI: 10.1016/j.tcs.2014.02.042

Extracted Key Phrases

1 Figure or Table

Cite this paper

@article{Bauer2014CartesianCC, title={Cartesian closed categories of separable Scott domains}, author={Andrej Bauer and Gordon D. Plotkin and Dana S. Scott}, journal={Theor. Comput. Sci.}, year={2014}, volume={546}, pages={17-29} }