期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
范畴Ω-Cat的函数空间及其性质 被引量:1
1
作者 耿俊 汤建钢 《模糊系统与数学》 CSCD 北大核心 2014年第5期71-75,共5页
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat的Ω-值函数空间,得出了Ω-值函数空间函子与Ω-值积函子互为伴随函子,证明了范畴Ω-Cat是Cartesian闭范畴。
关键词 Ω-范畴 Ω-值函数空间 伴随函子 Cartesian闭性
原文传递
T-极限空间范畴的笛卡儿闭性
2
作者 于倩 方进明 《模糊系统与数学》 北大核心 2017年第1期29-34,共6页
本文在完备MV-代数的格值环境下,基于T-滤子定义了一种格值收敛空间,即,T-极限空间,并且证明了T-极限空间范畴是拓扑的且具有笛卡儿闭性。同时本文还研究了T-极限空间范畴与其子范畴之间的关系。
关键词 τ-滤子 τ-极限空间范畴 笛卡儿闭性 预拓扑 强L-拓扑
原文传递
双有限liminf domain范畴的笛卡尔闭性
3
作者 刘敏 《模糊系统与数学》 北大核心 2017年第3期136-143,共8页
基于模糊偏序集的liminf连续性,引入了双有限liminf domain的概念。这可看作是双有限domain在模糊偏序集框架下的推广。在真值格为frame的情形下,证明了双有限liminf domain范畴是笛卡尔闭的。
关键词 模糊序 limiM完备的模糊偏序集 双有限liminf DOMAIN 笛卡尔闭性
原文传递
L-序水平一致极限空间
4
作者 王文静 方进明 《四川师范大学学报(自然科学版)》 CAS 北大核心 2019年第1期30-34,共5页
基于满层L-滤子的L-包含序,提出L-序一致极限空间的概念,证明L-序一致极限空间范畴作为拓扑范畴是笛卡儿闭的.同时利用"水平结构"的思想,发现了它的水平空间,即L-序水平一致极限空间.在证明L-序水平一致极限空间范畴与L-序一... 基于满层L-滤子的L-包含序,提出L-序一致极限空间的概念,证明L-序一致极限空间范畴作为拓扑范畴是笛卡儿闭的.同时利用"水平结构"的思想,发现了它的水平空间,即L-序水平一致极限空间.在证明L-序水平一致极限空间范畴与L-序一致极限空间范畴是范畴同构的同时,还建立了L-序水平一致极限空间范畴是文献中L-水平一致极限空间范畴的双反射子范畴这一深入联系. 展开更多
关键词 一致极限 笛卡儿闭性 L-序一致极限空间 L-序水平一致极限空间 双反射子范畴
在线阅读 下载PDF
Moore-Smith Convergence in L-Fuzzifying Topological Spaces 被引量:1
5
作者 Wei YAO Ling Xia LU 《Journal of Mathematical Research and Exposition》 CSCD 2011年第5期770-780,共11页
This paper presents a definition of L-fuzzifying nets and the related L-fuzzifying generalized convergence spaces.The Moore-Smith convergence is established in L-fuzzifying topology.It is shown that the category of L-... This paper presents a definition of L-fuzzifying nets and the related L-fuzzifying generalized convergence spaces.The Moore-Smith convergence is established in L-fuzzifying topology.It is shown that the category of L-fuzzifying generalized convergence spaces is a cartesianclosed topological category which embeds the category of L-fuzzifying topological spaces as a reflective subcategory. 展开更多
关键词 L-fuzzifying topology L-fuzzifying filter L-fuzzifying net L-fuzzifying generalized convergence space topological category cartesian-closed.
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部