Adjoint relations for the category of local dcpos
Author(s):
Abstract:
In this paper, we consider the forgetful functor from the category LDcpo of local dcpos (respectively, Dcpo of dcpos) to the category Pos of posets (respectively, LDcpo of local dcpos), and study the existence of its left and right adjoints. Moreover, we give the concrete forms of free and cofree S-ldcpos over a local dcpo, where S is a local dcpo monoid. The main results are: (1) The forgetful functor U : LDcpo −! Pos has a left adjoint, but does not have a right adjoint; (2) The inclusion functor I : Dcpo −! LDcpo has a left adjoint, but does not have a right adjoint; (3) The forgetful functor U : LDcpo-S −! LDcpo has both left and right adjoints; (4) If (S, ·, 1) is a good ldcpo-monoid, then the forgetful functor U: LDcpo-S −! Pos-S has a left adjoint.
Language:
English
Published:
Categories and General Algebraic Structures with Applications, Volume:7 Issue: 1, 2017
Pages:
89 - 105
magiran.com/p1749151  
برخی از خدمات از جمله دانلود متن مقالات تنها به مشترکان مگیران ارایه می‌گردد. شما می‌توانید به یکی از روش‌های زیر مشترک شوید:
اشتراک شخصی
در سایت عضو شوید و هزینه اشتراک یک‌ساله سایت به مبلغ 300,000ريال را پرداخت کنید. همزمان با برقراری دوره اشتراک بسته دانلود 100 مطلب نیز برای شما فعال خواهد شد!
اشتراک سازمانی
به کتابخانه دانشگاه یا محل کار خود پیشنهاد کنید تا اشتراک سازمانی این پایگاه را برای دسترسی همه کاربران به متن مطالب خریداری نمایند!
توجه!
  • دسترسی به متن مقالات این پایگاه در قالب ارایه خدمات کتابخانه دیجیتال و با دریافت حق عضویت صورت می‌گیرد و مگیران بهایی برای هر مقاله تعیین نکرده و وجهی بابت آن دریافت نمی‌کند.
  • حق عضویت دریافتی صرف حمایت از نشریات عضو و نگهداری، تکمیل و توسعه مگیران می‌شود.
  • پرداخت حق اشتراک و دانلود مقالات اجازه بازنشر آن در سایر رسانه‌های چاپی و دیجیتال را به کاربر نمی‌دهد.