A Duality Between Ω-categories and Algebraic Ω-categories

摘要：

　　In this paper,we propose a definition of algebraic Ω-categories.Let Ω-POID denote the category of Ω-categories with Ω-functors between them such that inverse image of ideals are also ideals,and let Ω-AlgDomG denote the category of algebraic Ω-categories with Scott continuous functors between them having left Ω-adjoints.We show that Ω-AlgDomG and Ω-POID are dual equivalent to each other.

关键词： Duality (Algebraic) Ω-category Ω-adjunction Ideals.

作者: Wei Yao Bin Zhao

作者单位: School of Science Hbei University of Science and Technology Shijiazhuang,China College of Mathematics and Information Science Shaanxi Normal University Xi’an,China

会议类型: 国际会议

会议名称: The 6th International Symposium on Domain Theory and its Applications—ISDT’13(第六届Domain理论及应用国际学术研讨会)

会议地点: 长沙

会议语种:英文

页码: 153-168

在线出版日期: 2013-10-25（万方平台首次上网日期，不代表论文的发表时间）