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.
Keywords:
Language:
English
Published:
Categories and General Algebraic Structures with Applications, Volume:7 Issue: 1, Jul 2017
Pages:
89 to 105
magiran.com/p1749151
دانلود و مطالعه متن این مقاله با یکی از روشهای زیر امکان پذیر است:
اشتراک شخصی
با عضویت و پرداخت آنلاین حق اشتراک یکساله به مبلغ 1,390,000ريال میتوانید 70 عنوان مطلب دانلود کنید!
اشتراک سازمانی
به کتابخانه دانشگاه یا محل کار خود پیشنهاد کنید تا اشتراک سازمانی این پایگاه را برای دسترسی نامحدود همه کاربران به متن مطالب تهیه نمایند!
توجه!
- حق عضویت دریافتی صرف حمایت از نشریات عضو و نگهداری، تکمیل و توسعه مگیران میشود.
- پرداخت حق اشتراک و دانلود مقالات اجازه بازنشر آن در سایر رسانههای چاپی و دیجیتال را به کاربر نمیدهد.
In order to view content subscription is required
Personal subscription
Subscribe magiran.com for 70 € euros via PayPal and download 70 articles during a year.
Organization subscription
Please contact us to subscribe your university or library for unlimited access!