| 相容双有限domain及相关范畴性质 |
| |
| 引用本文： | 张滦云,王戈平.相容双有限domain及相关范畴性质[J].南京师大学报,2005,28(1):36-41. |
| |
| 作者姓名： | 张滦云 王戈平 |
| |
| 作者单位： | [1]淮海工学院数理科学系，江苏，连云港，222005 [2]徐州师范大学数学系，江苏，徐州，221009 |
| |
| 基金项目： | 国家自然科学基金资助项目(10371079) |
| |
| 摘 要： | 将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上，定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念，给出了相容双有限domain的等价命题．并从范畴学的角度考察证明了以相容双有限domain为对象，Scott连续映射为态射的范畴CBF是笛卡儿闭范畴．还讨论了相容定向完备偏序集及相容代数domain上的几个性质．
|
| 关 键 词： | 相容代数domain 相容双有限domain 笛卡儿闭范畴 |
| 文章编号： | 1001-4616(2005)01-0036-06 |
| 修稿时间： | 2004年6月25日 |
Consistently Bifinite Domain and Some Properties of Relevant Category |
| |
| Zhang Luanyun,Wang Geping.Consistently Bifinite Domain and Some Properties of Relevant Category[J].Journal of Nanjing Normal University(Natural Science Edition),2005,28(1):36-41. |
| |
| Authors: | Zhang Luanyun Wang Geping |
| |
| Institution: | Zhang Luanyun~1,Wang Geping~2 |
| |
| Abstract: | This paper generalizes some concepts such as bifinite domains from dcpos to consistently directed complete posets, defines concepts of approximate identity, finitely separated, consistently bifinite domains on consistently directed complete posets, and provides an equivalent proposition of consistently bifinite domains. Then it inspects and proves that the category CBF of consistently bifinite domains with Scott-continuous function is Cartesian closed in terms of category theory. In the end, It also discusses some properties on consistently directed complete posets and consistently algebraic posets |
| |
| Keywords: | consistently algebraic domain consistently bifinite domains Cartesian closed category |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
