کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9651040 | 666442 | 2005 | 15 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Cartesian closed stable categories
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
The aim of this paper is to establish some Cartesian closed categories which are between the two Cartesian closed categories: SLP (the category of L-domains and stable functions) and DI (the full subcategory of SLP whose objects are all dI-domains). First we show that the exponentials of every full subcategory of SLP are exactly the spaces of stable functions. Then we prove that the full subcategories SDMBC, SDCBC and SDABC of SLP which contain DI are all Cartesian closed, where the objects of SDMBC (resp., SDCBC, SDABC) are all distributive bc-domains which are meet-continuous (resp., continuous, algebraic). We also obtain many non-Cartesian closed full subcategories of SLP and present some reflective relations between those categories concerned.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Sciences - Volume 171, Issues 1â3, 4 March 2005, Pages 173-187
Journal: Information Sciences - Volume 171, Issues 1â3, 4 March 2005, Pages 173-187
نویسندگان
Ni Liu, Sheng-Gang Li,