共查询到19条相似文献,搜索用时 78 毫秒
1.
借助模糊集理论中的集合套理论,引入一种新型的集合范畴SEB3。它满足卡氏积封闭性,但不是Topos,而是介于卡氏积封闭性和Topos之间的一种结构,我们称之为弱Topos。 相似文献
2.
本文构造了在完备格上模糊集范畴.利用极小扩展原则和范畴的性质,获得了函子Uα构成集合范畴上的模结构,推广了P.Eklund的结论. 相似文献
3.
4.
5.
基于层范畴引入Ω-集合范畴的概念,研究了Ω-集合范畴的乘积以及等值子的存在性,进而证明了在Ω-集合范畴中存在极限,并且Ω-集合范畴是完备的. 相似文献
6.
本文研究locale范畴的反射子范畴,给出反射子范畴的刻划定理,从一般的locale出发,完全构造性地给出了locale的正则反射、完全正则反射和零维反射的构造. 相似文献
7.
8.
从三角范畴的recollement到Abel范畴的recollement 总被引:1,自引:0,他引:1
研究了三角范畴的recollement与Abel范畴的recollement的关系.证明了:若三角范畴D允许关于三角范畴D和D的recollement,则Abel范畴D/T允许关于Abel范畴D/i^*(T)和D/j^*(T)的recollement,其中T为D的cluster-倾斜子范畴,且满足i*i^*(T)*T,j^*j^*(T)^*T. 相似文献
9.
文章研究了三角范畴D及其coherent函子范畴A(D)的recollement之间的关系.利用D的recollement可以诱导A(D)的prerecollement,文章证明了该prerecollement是recollement的充分必要条件是D的recollement是可裂的;并且D的recollement可以诱导A(D)的prerecollement. 相似文献
10.
证明了三角范畴的recollement可以自然诱导其商范畴的recollement.特别地,得到类似于群同态第二基本定理的结果,即若U是三角范畴D的局部化(或余局部化)子范畴,V是U的三角满子范畴,则U/V是D/V的局部化(或余局部化)子范畴,并且有三角等价(D/V)/(U/V)≌D/U.同理,对Abel范畴的recollement也有相应的结果. 相似文献
11.
给出定向完备偏序半群的定义,研究定向完备偏序半群在定向完备偏序集上的作用.探讨S-定向完备偏序集范畴的一些基本性质,并且证明以S-定向完备偏序集为对象,以S-Scott连续映射为态射的范畴是笛卡尔闭范畴. 相似文献
12.
FS-相容Domain的定向完备化及相关范畴性质 总被引:3,自引:1,他引:2
引入FS-相容Domain概念,研究FS-相容Domain的性质,主要结果有:(1)FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain;(2)FS-相容Domain是有限生成上集,从而是Scott紧的;(3)FS-相容Domain的定向完备化是FS-Domaln;(4)有最大元的FS-Domain去掉最大元后是FS-相容Domain;(5)证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。 相似文献
13.
对于CONT的任意一个笛卡儿闭的满子范畴C,构造CONT的两个新的满子范畴R-C(以C对象的收缩为对象的范畴)和B-C(以C扩张序列的双极限为对象的范畴),并证明了它们都是笛卡儿闭范畴。由于R-C和B-C都包含C为其满子范畴,利用上述结果可得CONT的极大笛卡儿闭子范畴必对收缩和双极限封闭。本文还从范畴笛卡儿闭性的角度给出了Domain理论中一个公开问题的等价描述。 相似文献
14.
The notion of an internal category in a left exact cosimplicial category is introduced. For any topos over sets a certain left exact cosimplicial category is constructed functorially and the category of internal categories in it is investigated. The notion of a fundamental group is defined for toposes admitting the notion of a discrete category. 相似文献
15.
16.
17.
Locale范畴中的零维性 总被引:1,自引:0,他引:1
本文讨论locale的零维性质,主要结果有:(1)给出localeA的核映射(nucleus)构成的localeN(A)中上确界的点式刻划,并得到了N(A)的紧性与A的紧性之间的关系;(2)给出零维locale与coherentlocale之间的关系,以及零维locale的紧零维反射;(3)给出零维locale范畴在locale范畴中的刻划. 相似文献
18.
19.
系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构,从而说明了Quantic格范畴是完备范畴。 相似文献