کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4952228 | 1442020 | 2017 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On the largest Cartesian closed category of stable domains
ترجمه فارسی عنوان
در بزرگترین رده دکتاریک دامنه های پایدار
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
دکارتی بسته شده است توزیع، بیفینیت پایدار،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Amadio (1991) [3] and Curien (1998) [4] raised the question of whether the category of stable bifinite domains (SB for short) in sense of Amadio-Droste is the largest Cartesian closed full subcategory of the category of Ï-algebraic meet-cpos with CM functions (Ï-SAM for short). In the second part of this paper, we prove that for any Ï-algebraic meet-cpo D and certain non-distributive finite poset MË, if [DâcMË], [[DâcMË]âc[DâcMË]] and [[[DâcMË]âcMË]âc[[DâcMË]âcMË]] are Ï-algebraic, then we have that (1) D is finitary; (2) if D is not stable bifinite, then [[DâcMË]âc[DâcMË]] is not finitary. So, the category SB is a maximal Cartesian closed full subcategory of Ï-SAM, which gives a partial solution to the problem posed by Amadio and Curien.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 669, 22 March 2017, Pages 22-32
Journal: Theoretical Computer Science - Volume 669, 22 March 2017, Pages 22-32
نویسندگان
Xiaoyong Xi, Qingyu He, Lingyun Yang,