论文摘要
Domain理论主要研究具有特殊性质的偏序集,其目的是为程序语言指称语义提供数学模型.由于具有明显的计算机科学背景以及其研究涉及到拓扑结构和序结构,该理论受到理论计算机科学和数学领域的许多学者的共同关注.而且,许多学者试图将Domain理论运用到其它数学领域中去.拓扑结构和序结构的相互作用和相互诱导是Domain理论的一大特色,其中,寻找特殊的拓扑结构能够等价刻画某些特殊的domain结构,是Domain理论的一个研究热点.然而,经典拓扑结构的条件太强,在domain结构的表示方面具有一定的局限性.注意到闭系统是经典拓扑结构的推广,许多学者试图利用闭系统实现某些domain结构的表示.本文通过推广经典闭包系统,从范畴等价的角度实现算术半格（可以看成一种特殊的domain结构）的表示.本硕士论文共分两章:第一章,给出本硕士论文涉及的一些基本概念和相关性质,并陈述了历史背景.第二章,先介绍CX-空间的概念,并给出CX-空间的一些性质;接着给出CX-态射的概念,并说明了CX-态射与Scott连续映射的存在一一对应关系;最后证明了由CX-空间和CX-态射构成的范畴与由算术半格和Scott连续映射构成的范畴是等价的。
论文目录
文章来源
类型: 硕士论文
作者: 齐彩霞
导师: 郭兰坤
关键词: 算术半格,连续映射,空间,态射,范畴等价
来源: 湖南师范大学
年度: 2019
分类: 基础科学
专业: 数学
单位: 湖南师范大学
分类号: O153.1
总页数: 33
文件大小: 2045K
下载量: 6
相关论文文献
- [1].幺半群强半格的自动性[J]. 科学咨询(科技·管理) 2016(12)
- [2].m-半格的模糊理想[J]. 西北大学学报(自然科学版) 2015(02)
- [3].“不满一格的都按半格计算”引发的思考[J]. 小学教学(数学版) 2020(03)
- [4].半格[J]. 课堂内外创新作文(初中版) 2009(05)
- [5].m-半格的粗糙模糊理想[J]. 吉林大学学报(理学版) 2015(03)
- [6].L-半格的正则性[J]. 上饶师范学院学报 2011(03)
- [7].正则带的拟强半格分解[J]. 数学杂志 2011(06)
- [8].L-半格的投射性[J]. 三峡大学学报(自然科学版) 2010(02)
- [9].L-半格的性质[J]. 三峡大学学报(自然科学版) 2009(02)
- [10].算术半格的信息系统表示[J]. 模糊系统与数学 2020(01)
- [11].半格序完全正则周期半群[J]. 山东大学学报(理学版) 2018(10)
- [12].规定“不满一格都按半格计算”,合理吗?[J]. 中小学数学(小学版) 2011(Z2)
- [13].树上的鸟儿成双对[J]. 海燕 2013(06)
- [14].有限个幺半群的强半格的平移壳[J]. 昆明学院学报 2011(06)
- [15].撤县改市的冲动从何而来[J]. 领导科学 2013(18)
- [16].基于信任半格的次协调逻辑领域本体公理表示方法的研究[J]. 云南民族大学学报(自然科学版) 2009(03)
- [17].左群nil-扩张的半格的半直积[J]. 科学技术与工程 2008(01)
- [18].幂半格与半群[J]. 模糊系统与数学 2014(01)
- [19].关于中学电表读数方法的讨论[J]. 科技创新导报 2012(15)
- [20].内射和平坦L-半格[J]. 模糊系统与数学 2012(03)
- [21].一类子集半格的强半格的Hall半群[J]. 湛江师范学院学报 2010(03)
- [22].右群的强半格的Cayley图[J]. 西南师范大学学报(自然科学版) 2009(03)
- [23].成形辊齿数对蜂窝半格结构件成形影响研究[J]. 机械科学与技术 2014(04)
- [24].左群的强半格的Cayley图[J]. 武汉大学学报(理学版) 2009(06)
- [25].半格序Clifford半群[J]. 数学进展 2010(01)
- [26].关于凝聚式Quantale的注记[J]. 计算机工程与应用 2012(30)
- [27].Amenable上半格序广义逆群[J]. 纺织高校基础科学学报 2009(02)
- [28].外文参考文献著录要求[J]. 护理与康复 2019(03)
- [29].打汤[J]. 青少年日记 2012(12)
- [30].“不满一格算半格”引发的教学思考[J]. 课程教材教学研究(小教研究) 2019(Z1)