A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains (Q2486012): Difference between revisions

Neither the category \(\mathcal{CONT}\) of all continuous domains and all mappings preserving directed sups nor the category \(\mathcal{ALGD}\) of all algebraic domains and all mappings preserving directed sups are Cartesian closed. Therefore it is very important to construct Cartesian closed subcategories of the above two categories. This paper shows that the category \(\mathcal{CD}\) of all continuous domains and all mappings preserving every directed sup and the way-below relation is Cartesian closed.