共查询到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.
刘富春 《江西师范大学学报(自然科学版)》1997,21(2):121-126
该文构造了范畴Trel和(1set/U)^OP之间的同构,从而证明了Institution的两个范畴式定义的一致性。 相似文献
7.
为从范畴论的观点研究软集,分别建立了软集的范畴和模糊软集的范畴,并讨论了它们的topos性质.研究结果表明:软集的范畴有terminal object,finite products,equalizer和SC等topos性质;模糊软集的范畴有finite products,equalizer,terminal object和exponentials等topos性质.该成果对软集的研究具有一定的参考价值. 相似文献
8.
袁学海 《辽宁师范大学学报(自然科学版)》1995,18(1):1-4
利用模糊集的范畴Fuz,分别给出了四个范畴Fuz2,FuZ→,M-Fuz,FBn(I),并证明了它们均可以表示成从某个小范畴(Smallcategory)到范畴Fuz的涵子范畴(Functorcategory). 相似文献
9.
10.
刘华丽 《山东大学学报(理学版)》2010,45(9):43-48
给出L-滤子和L-fuzzy滤子空间的概念,讨论了固定集合X上全体L-滤子之集的一些格论性质。研究了L-fuzzy滤子空间范畴LFIL的若干范畴性质,给出了范畴LFIL中等子和乘积的构造,证明了LFIL是拓扑范畴,得到了范畴LFIL与范畴LCFIL之间存在着一对伴随函子的结果。 相似文献
11.
12.
陈春光 《辽宁大学学报(自然科学版)》1990,17(4):44-47
本文将模糊关系方程扩张成L—模糊关系方程,并将某些L—模糊关系方程的求解问题转化为模糊关系方程的求解问题,然后通过例子说明L—模糊关系方程在某些实际问题中的应用。 相似文献
13.
14.
周鑫 《吉林大学学报(理学版)》2018,56(4):799-804
运用模糊集的方法和原理, 给出模糊模范畴中余极限的有点式和无点式刻画. 首先, 通过引入模糊模范畴中余积的结构性定理, 得到模糊模范畴中余极限的存在性、 唯一性和结构性定理; 其次, 构造J型图范畴到模糊模范畴上的常量系统函子, 并证明余极限函子与常量系统函子的伴随性; 最后, 根据Hom函子及张量积函子的伴随同构关系, 讨论模糊模范畴中极限与余极限的关系. 相似文献
15.
16.
q-开集及其性质 总被引:6,自引:4,他引:6
苏发慧 《吉首大学学报(自然科学版)》2000,21(4):78-79
给出了q-开集的定义及其相应性质,讨论q-开集同半开集、准开集,α - 集之间的关系. 相似文献
17.
在L-fuzzy拓扑空间已定义的近似开(闭)集的基础上,作者提出了一类新的集合,称为LF正则准半开集(LF正则准半闭集),并讨论了此类集合的一些性质.同时定义了S-准半连续序同态. 相似文献
18.
白世忠 《五邑大学学报(自然科学版)》2003,17(2):1-5
引入了Fuzzy格之间的半准不定与半准不定开序同态等概念,给出了它们的特征性质,讨论了半准连续,半准不定序同态与N—紧性以及SP—紧性之间的联系. 相似文献
19.
在加法范畴局部化的基础上证明了拟A be l范畴的局部化范畴仍然是拟A be l范畴. 相似文献