文献类型：期刊文章

作　　者：熊利平[1] 寇辉[1]

机构地区：[1]四川大学数学学院长江数学中心,四川成都610064

出　　处：《模糊系统与数学》

基　　金：国家自然科学基金资助项目(10871137);教育部新世纪优秀人才计划项目(070576)

年　　份：2012

卷　　号：26

期　　号：3

起止页码：156-163

语　　种：中文

收录情况：BDHX、BDHX2011、CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、核心刊

摘　　要：研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态射、以具有性质I的代数L-domain为对象的范畴的反射子范畴。

关 键 词：事件结构  性质I  L-DOMAIN DI-domain  

分 类 号：O159[数学类]