共查询到18条相似文献,搜索用时 78 毫秒
1.
2.
3.
连续Quantale及其范畴性质 总被引:2,自引:0,他引:2
研究了连续Quantale及其范畴性质,定义了半连续Quantale,在此基础上讨论了半连续Quantale、连续Quantale和正则Quantale之间的关系.证明了严格右侧的连续Quantale是正则Quantale,严格右侧的左侧Quantale是连续Quantale当且仅当它是半连续Quantale.给出了连续Quantale中理想的概念,探讨了连续Quantale中理想和连续Quantale范畴的性质,证明了此范畴不仅是点化的、连通的,而且有乘积、每一个投射都是收缩. 相似文献
4.
设C为小范畴,D为预加法范畴,根据范畴D上自加法函子F,定义函子范畴F上自加法函子f,并给出一族范畴同构(D∝F)C≌D∝F 相似文献
5.
6.
袁学海 《辽宁师范大学学报(自然科学版)》1995,18(1):1-4
利用模糊集的范畴Fuz,分别给出了四个范畴Fuz2,FuZ→,M-Fuz,FBn(I),并证明了它们均可以表示成从某个小范畴(Smallcategory)到范畴Fuz的涵子范畴(Functorcategory). 相似文献
7.
利用一般范畴D构造了新范畴ID和PD,证明了若D是Abel范畴,则存在范畴ID到IopD的忠实函子,且ID也是Abel范畴. 相似文献
8.
9.
10.
引入右正合范畴的概念,并证明了右正合范畴的局部化范畴仍然是右正合范畴.同时证明了两类态射范畴是右正合范畴. 相似文献
11.
徐邦腾 《湖北师范学院学报(自然科学版)》1990,(2)
模范畴中有两个重要的Hom—tensor关系式,通常是利用一般的范畴和函子理论来证明的,这种证法没有给出其中的自然同构的逆同构。本文利用投射模的对偶基,给出了它们的逆同构。 相似文献
12.
13.
伴随是范畴论中最重要的概念之一.其定义涉及多个量且难以理解。介绍了伴随函子的几个等价定义,证明了各个定义的相互等价性.从而可以更加直观地理解伴随函子的定义.并给出了伴随函子的应用例子。 相似文献
14.
15.
伴随上的自然变换 总被引:2,自引:0,他引:2
陈焕艮 《南京大学学报(自然科学版)》1994,30(4):563-574
引进了自然变换函了的概念,建大了自然同构与伴随间的一类等价关系,系统研究了伴随上的自然变换,主要结果:设<F,K1,η1,ε1>:X→A,<G,K2,η2,ε2>:X→A.n:F→G,m,K1→K2,若n2=(m°n)η1,ε1=ε2(n°m),则m,n为自然同构. 相似文献
16.
设C是小范畴,则范畴D中的本质(多余)子对象构造出函子范畴DC中相应的本质(多余)子对象。反之,设F,G是函子范畴DC中的两个常值函子,若F是G的一个本质(多余)子对象,则对任意x∈obC,在范畴D中有F(x)是G(x)的一个本质(多余)子对象。 相似文献
17.
本文讨论了Girard Quantale范畴中的极限,并且给出了该极限的结构,同时得到了此范畴是完备范畴,且具有拉回等性质. 相似文献
18.