Adjoint relations for the category of local dcpos
Publish Year: 1396
نوع سند: مقاله ژورنالی
زبان: English
View: 170
This Paper With 18 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_CGASAT-7-1_004
تاریخ نمایه سازی: 23 شهریور 1400
Abstract:
In this paper, we consider the forgetful functor from the category {\bf LDcpo} of local dcpos (respectively, {\bf Dcpo} of dcpos) to the category {\bf Pos} of posets (respectively, {\bf 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: (۱) The forgetful functor U : {\bf LDcpo} \longrightarrow {\bf Pos} has a left adjoint, but does not have a right adjoint;(۲) The inclusion functor I : {\bf Dcpo} \longrightarrow {\bf LDcpo} has a left adjoint, but does not have a right adjoint;(۳) The forgetful functor U : {\bf LDcpo}-S \longrightarrow {\bf LDcpo} hasboth left and right adjoints;(۴) If (S,\cdot,۱) is a good ldcpo-monoid, then the forgetful functor U: {\bf LDcpo}-S \longrightarrow {\bf Pos}-S has a left adjoint.
Keywords:
Authors
Bin Zhao
Shaanxi Normal University
Jing Lu
Shaanxi Normal University
Kaiyun Wang
Shaanxi Normal University
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :