Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\) (Q304184)

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.