Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\) (Q304184)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\) |
scientific article |
Statements
Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\) (English)
0 references
24 August 2016
0 references
In denotational semantics, the question of whether a certain category of models is Cartesian closed (meaning, as explained in the first section of the article, that the category has finite products and all objects are exponentiable) is well-known to be of significant importance. The authors add to the existing repository of results on the matter by considering the categories \(\mathrm{CONT}_\ll^\ast\), of continuous domains with Scott continuous mappings preserving the well below relation on domains, and its full subcategory \(\omega\)-\(\mathrm{ALG}_\ll\) spanned by the countably based algebraic domains. They identify the largest full subcategory of \(\omega\)-\(\mathrm{ALG}_\ll\) which is Cartesian closed as the category of finite posets and monotone mappings, and it is shown that without the countability restriction a much larger Cartesian closed full subcategory exists, formed by the algebraic \(L\)-domains. The article is well written and quite well motivated, requiring only a modest introduction to terminology and proceeding directly to a study of exponentiability in the relevant categories.
0 references
Cartesian closed category
0 references
algebraic domains
0 references
way-below relation
0 references
finite poset
0 references