Cartesian closed stable categories (Q2486008)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cartesian closed stable categories |
scientific article |
Statements
Cartesian closed stable categories (English)
0 references
5 August 2005
0 references
The authors have tried to find out a Cartesian closed full subcategory of the category \(\mathcal{SLP}\) of \(L\)-domains and stable functions which contains the category \(\mathcal{DL}\) of dl-domains and stable functions. To this end, they have shown that in any full subcategory of \(\mathcal{SLP}\), the exponentials, if they exist, are the stable function spaces. They have succeeded in finding out the category \(\mathcal{SDMBC}\) of distributive and meet-continuous bc-domains, the category \(\mathcal{SDCBC}\) of distributive and continuous bc-domains, and the category \(\mathcal{SDABC}\) of distributive and algebraic bc-domains as such categories.
0 references
stable function
0 references
domain theory
0 references
\(L\)-domain
0 references
Cartesian closed category
0 references
bc-domain
0 references