A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains (Q2486012): Difference between revisions
From MaRDI portal
Created claim: MaRDI profile type (P1460): MaRDI publication profile (Q5976449), #quickstatements; #temporary_batch_1710461151948 |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.ins.2003.06.006 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2085318782 / rank | |||
Normal rank |
Revision as of 02:37, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains |
scientific article |
Statements
A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains (English)
0 references
5 August 2005
0 references
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.
0 references
Cartesian closed
0 references
Continuous domain
0 references
Way-below relation
0 references
Category
0 references