| 事件结构与Domain |
| |
| 引用本文： | 熊利平,寇辉.事件结构与Domain[J].模糊系统与数学,2012,26(3):156-163. |
| |
| 作者姓名： | 熊利平 寇辉 |
| |
| 作者单位： | 四川大学数学学院长江数学中心,四川成都,610064 |
| |
| 基金项目： | 国家自然科学基金资助项目，教育部新世纪优秀人才计划项目 |
| |
| 摘 要： | 研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态射、以具有性质I的代数L-domain为对象的范畴的反射子范畴。
|
| 关 键 词： | 事件结构 性质I L-domain DI-domain |
Event Structures and Domains |
| |
| XIONG Li-ping
,
KOU Hui.Event Structures and Domains[J].Fuzzy Systems and Mathematics,2012,26(3):156-163. |
| |
| Authors: | XIONG Li-ping KOU Hui |
| |
| Institution: | (Yangtze Center of Mathematics,College of Mathematics,Sichuan University,Chengdu 610064,China) |
| |
| Abstract: | In this paper,we study the event structures in domain theory and have showed that an L-event domain generated by an event structure is an algebraic L-domain satisfying the property I.Especially,according to event domain which is generated by stable event,we show the category DIDOMl whose objects are DI-domains and morphisms are linear mappings is the reflective subcategory of the category LIDOMs whose objects are algebraic L-domains satisfying the property I and morphisms are stable mappings. |
| |
| Keywords: | Event Structure The Property I L-domain DIdomain |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
