共查询到20条相似文献,搜索用时 31 毫秒
1.
文章从局部化的思路出发,提出局部定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论局部定向完备范畴上的辅关系,特别是way-below关系的一些性质,证明了在连续的局部定向完备范畴中way-below关系满足强插值性质. 相似文献
2.
3.
相容双有限domain及相关范畴性质 总被引:2,自引:0,他引:2
将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题.并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴.还讨论了相容定向完备偏序集及相容代数domain上的几个性质. 相似文献
4.
相容连续偏序集及其定向完备化 总被引:20,自引:1,他引:20
徐罗山 《扬州大学学报(自然科学版)》2000,3(1):1-6,10
引入了相容连续偏序集及其定向完备化等概念,证明了相容连续偏的定向完备化是连续偏序集;利用主理想及Scott拓扑刻画了相容连续偏序集,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序也当且仅当它的Scott拓扑是一个完全分配格;考察了相容性连续偏序集的定向完备化的范畴意义,得到相容连续偏序集范畴以连续偏范畴作为为满的反射子范畴。 相似文献
5.
《南京师大学报(自然科学版)》2017,(4)
研究了局部定向完备集的定向完备化,得出以下两个结果:(1)连续(代数)的局部定向完备集的定向完备化是连续(代数)定向完备集;(2)连续(代数)定向完备集范畴是连续(代数)局部定向完备集范畴的满的反射子范畴. 相似文献
6.
对相容Domain引入了相容定向极小集的概念,证明了相容Domain D是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集,并给出了相容连续Domain的序同态扩张定理. 相似文献
7.
作者讨论了偏序集范畴的Cartesian闭性, 给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件. 特别地, 作者证明了交连续半格(不要求定向完备性)范畴是Cartesian闭范畴, L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴. 相似文献
8.
相容L-Domain及其相关范畴性质 总被引:11,自引:0,他引:11
徐罗山 《扬州大学学报(自然科学版)》2002,5(1):1-7
引入了相容L-Dimain概念,给出了相容L-Domain的多种内部的外部的刻画;利用Scott拓扑定义了相容L-Domain的定向完备化,证明了相容L-Domain的定向完备化是L-Domain;考察了相容L-Domain范畴,得知稳定映射为态射的相容L-Domain范畴是Cartesian闭范畴,证明了稳定映射为态射的L-Domain范畴为相容L-Domain范畴的满的反射子范畴。 相似文献
9.
张巍 《四川大学学报(自然科学版)》2011,48(6):1276-1280
一个连续格就是一个完备的连续偏序集,一个有界完备domain则是一个有定向并与非空交的连续偏序集.1975年,Day证明了连续格范畴是集合范畴和T0拓扑空间范畴上的monadic范畴.本文作者把这一结论推广到了有界完备domain范畴:对任意无限基数κ,作者引入了有界完备的κdomain以及相应的Scott κ拓扑的概念,并证明了有界完备的κdomain范畴是集合范畴和T0的κ拓扑空间范畴上的monadic范畴. 相似文献
10.
研究了直觉模糊集的真值域L*上的"way-below"关系,利用L*上的"way-below"关系,构造了[0,1]-拓扑范畴[0,1]-Top与Coker意义下的直觉模糊拓扑范畴IFTop之间的一对伴随,并证明了[0,1]-Top可以嵌入IFTop作为余反射子范畴. 相似文献
11.
12.
《山东大学学报(理学版)》2016,(6)
引入了连续定向完备序半群的概念,得到了连续定向完备序半群的若干等价刻画,证明了范畴CDOSG(以全体连续定向完备序半群为对象,以保定向并的序半群同态为态射)是有限完备的,其满子范畴CCDOSG(以全体交换的连续定向完备序半群为对象)也是有限完备的且对函数空间封闭。 相似文献
13.
本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画:定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画. 相似文献
14.
梁晓荣 《太原理工大学学报》2010,41(3)
基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件.研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构.最后,证明了连通代数domain范畴与偏序集范畴等价. 相似文献
15.
通过T0空间的特殊化序定义了一类新的拓扑空间——定向空间.该拓扑空间满足定向完备偏序集赋予Scott拓扑所具有的一些性质.特别地,本文证明了所有定向空间及连续函数构成的范畴是T0空间范畴的余反射子范畴并且具有cartesian闭性以及定向完备偏序集范畴是该范畴的真子范畴. 相似文献
16.
提出相对定向集和相对定向完备集的概念,并在相对定向完备集上引入相对双小于关系.利用相对way below关系引入相对连续偏序集的概念,探讨了其一些等价条件,并证明了相对连续偏序集具有相对T的遗传性. 相似文献
17.
范畴CoFrm的逆极限和定向极限 总被引:1,自引:0,他引:1
设CoFrm是coframe(即满足第二无限分配律的完备格)及coframe间保任意并,且其右伴随保有限并的映射组成的范畴.在CoFrm范畴的逆向系{Aα,αρβ,Σ}中各Aα不交并上建立了等价关系,给出了定向系{Aα,αρ*β,Σ}在格范畴下的余极限构造,并在此基础上给出了范畴CoFrm逆极限的具体构造.此外,还给出了范畴CoFrm的定向极限的具体构造. 相似文献
18.
19.
相容关系的改进及其属性约简 总被引:1,自引:0,他引:1
针对经典粗糙集理论处理不完备信息系统存在的局限性,作者从扩展粗糙集理论的适用范围出发,引入不完备信息系统对象的先验概率并结合量化相容关系的思想,提出了改进的相容关系模型.以该模型为基础研究了不完备信息系统的属性约简.通过严格的数学证明,给出了属性约简算法.该算法以空集为起点求取系统的约简,不需要计算核,节约了时间,减少了占用空间,简化了求解过程.通过实例验证该改进相容关系模型及其属性约简算法. 相似文献
20.
根据相容的概念,定义了伪相容连续与伪相容连续的基,进而得出若干等价命题及相关性质的证明.最后介绍了在伪相容连续偏序集中一类特殊的相容定向集,并加以证明. 相似文献