02 آذر 1403

حلیمه مقبلی

مرتبه علمی: استادیار
نشانی: دانشگاه جیرفت
تحصیلات: دکترای تخصصی / ریاضی
تلفن:
دانشکده: دانشکده علوم پایه

مشخصات پژوهش

عنوان
Weighted limits in the category Dcpo-S
نوع پژوهش مقاله چاپ شده
کلیدواژه‌ها
Directed complete partially ordered set; weighted limits; S-dcpos
پژوهشگران فریده فرساد، حلیمه مقبلی

چکیده

In this paper, we consider the category Dcpo-S of S-dcpos and S-dcpo maps between them. This category is enriched over the symmetric monoidal closed category Dcpo. So, we are going to find weighted limits in this category. In fact, we show that the category of S-dcpos has weighted limits. Finally, we give a concrete construction of some kinds of weighted limits in this category