首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 78 毫秒
1.
作者讨论了偏序集范畴的Cartesian闭性, 给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件. 特别地, 作者证明了交连续半格(不要求定向完备性)范畴是Cartesian闭范畴, L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴.  相似文献   

2.
研究了个体集和强个体集的范畴性质.利用范畴论方法证明了个体集范畴、强个体集范畴与集合范畴在许多方面是相似的.例如,具有任一给定基数的个体集和强个体集是存在的;个体集和强个体集对于子集、幂运算封闭;非空个体集范畴和非空强个体集范畴都是完备的monoidaltopoi.构造了超结构函子V和超幂函子HF并得到:(1)对任意非空强个体集X和Y,g:X→Y是单射(resp.,满射)当且仅当V(g)是单射(resp.,满射);(2)对任意集X和Y,g:X→Y是单射(resp.,满射)当且仅当HF(g)是单射(resp.,满射).  相似文献   

3.
研究Abel范畴的推出范畴与Abel范畴的平凡扩张的关系,证明了Abel范畴推出范畴的平凡扩张与Abel范畴平凡扩张的推出范畴同构.  相似文献   

4.
对一有限集合p的任一分类σ_k都对应地存在一个素分类范畴,对于P的每一伴随群也对应地存在Hall范畴,使得前者到后者内的Hall函子存在,诸Hall函子之间的自然同构——内自然同构存在,且全体内自然同构关于映射的合成运算构成一群,而此群总为原来所取伴随群的同态象。  相似文献   

5.
格值模糊半开集与半连续映射   总被引:2,自引:0,他引:2  
在L-fuzzy拓扑空间中,给出一种新的半开集的概念,证明了这种半开集具有分明半开集的几乎所有的性质,并利用这种半开集研究了L-fuzzy半连续映射、半开映射、半闭映射等。  相似文献   

6.
该文构造了范畴Trel和(1set/U)^OP之间的同构,从而证明了Institution的两个范畴式定义的一致性。  相似文献   

7.
为从范畴论的观点研究软集,分别建立了软集的范畴和模糊软集的范畴,并讨论了它们的topos性质.研究结果表明:软集的范畴有terminal object,finite products,equalizer和SC等topos性质;模糊软集的范畴有finite products,equalizer,terminal object和exponentials等topos性质.该成果对软集的研究具有一定的参考价值.  相似文献   

8.
利用模糊集的范畴Fuz,分别给出了四个范畴Fuz2,FuZ→,M-Fuz,FBn(I),并证明了它们均可以表示成从某个小范畴(Smallcategory)到范畴Fuz的涵子范畴(Functorcategory).  相似文献   

9.
给出Z-完备集上的一个扩张定理.证明范畴ZP是一个笛卡儿闭范畴.  相似文献   

10.
给出L-滤子和L-fuzzy滤子空间的概念,讨论了固定集合X上全体L-滤子之集的一些格论性质。研究了L-fuzzy滤子空间范畴LFIL的若干范畴性质,给出了范畴LFIL中等子和乘积的构造,证明了LFIL是拓扑范畴,得到了范畴LFIL与范畴LCFIL之间存在着一对伴随函子的结果。  相似文献   

11.
利用构造函子方法证明了广义路代数RQ,A的有限表示范畴等价于它的有限维模范畴,从而推广了路代数的结果.  相似文献   

12.
本文将模糊关系方程扩张成L—模糊关系方程,并将某些L—模糊关系方程的求解问题转化为模糊关系方程的求解问题,然后通过例子说明L—模糊关系方程在某些实际问题中的应用。  相似文献   

13.
以凹函数为对象,以特殊的仿射函数为态射,建立了范畴CONF,指出凸集和凸模糊集为范畴CONF中的对象。证明了范畴CONF有Finite Products和Equalizers性质。  相似文献   

14.
运用模糊集的方法和原理, 给出模糊模范畴中余极限的有点式和无点式刻画. 首先, 通过引入模糊模范畴中余积的结构性定理, 得到模糊模范畴中余极限的存在性、 唯一性和结构性定理; 其次, 构造J型图范畴到模糊模范畴上的常量系统函子, 并证明余极限函子与常量系统函子的伴随性; 最后, 根据Hom函子及张量积函子的伴随同构关系, 讨论模糊模范畴中极限与余极限的关系.  相似文献   

15.
16.
q-开集及其性质   总被引:6,自引:4,他引:6  
给出了q-开集的定义及其相应性质,讨论q-开集同半开集、准开集,α - 集之间的关系.  相似文献   

17.
在L-fuzzy拓扑空间已定义的近似开(闭)集的基础上,作者提出了一类新的集合,称为LF正则准半开集(LF正则准半闭集),并讨论了此类集合的一些性质.同时定义了S-准半连续序同态.  相似文献   

18.
引入了Fuzzy格之间的半准不定与半准不定开序同态等概念,给出了它们的特征性质,讨论了半准连续,半准不定序同态与N—紧性以及SP—紧性之间的联系.  相似文献   

19.
在加法范畴局部化的基础上证明了拟A be l范畴的局部化范畴仍然是拟A be l范畴.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号