Cartesian closed stable categories (Q2486008)

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.