刘菡
- 作品数：6 被引量：10H指数：2
- 供职机构：南京师范大学数学科学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学更多>>
- _+(L)值半连续映射与连续d锥
- 2001年
- 定义 L- fuzzy非负扩充实直线 R+( L)与 R+( L)值半连续映射 ,证明在一个 L- core紧的 L- fuzzy拓扑空间 ( LX,δ)上的 R+( L)值下半连续映射的全体关于点式序、加法运算与数乘运算构成一个连续 d锥 ,推广了文献
- 王戈平刘菡
- 关键词：L-FUZZY拓扑空间
- 广义Frame与广义Frame的商被引量：3
- 2007年
- 本文将frame、frame同态、商frame与核的概念在范畴意义下作推广,并且证明Frame范畴是广义Frame范畴的反射子范畴.进而讨论了一个广义frame A的商与A上核函子之间的关系.特别地,我们证明了A上全部核函子所构成的范畴N(A)是一个广义frame.
- 刘菡贺伟
- 关于两个Cartesian闭范畴交的一点注记
- 2005年
- 讨论了关于双Scott拓扑的一些性质.证明了范畴B ICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴B ICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和B ICONTSop(即以双连续格为对象,以对偶Scott连续映射为态射的范畴)的交范畴不是Cartesian闭范畴.
- 刘菡贺伟
- 广义Frame的谱空间(英文)
- 2007年
- 本文在frame的范畴形式推广——广义frame上引进点、素元与谱空间的概念,并且证明任意广义frame都是完备、余完备的Cartesian闭范畴.进而说明一个广义frame上全体点与该广义frame上全体素元之间存在着范畴等价的关系,此关系不同于经典frame理论中相应的一一对应关系,并且讨论了广义Frame范畴与拓扑空间范畴之间的函子关系,最后,证明广义frame的谱空间是Sober空间。
- 刘菡贺伟
- 关键词：素元
- 拓扑系统的子系统(英文)被引量：7
- 2007年
- 给出了拓扑系统的子系统、开子系统与闭子系统的定义.证明了在拓扑系统范畴中,拓扑系统的任意子系统都是正则单子对象.最后证明了一个拓扑系统D的全部子系统所构成的集合S(D)在包含序下是一个完备的Heyting代数.
- 刘菡贺伟
- 关键词：拓扑系统子系统
- 广义Frame范畴
- 本文引入广义fratme与广义frame同态的概念，这两个概念是frame与frame同态概念在范畴意义下的严格推广，存在大量的非平凡的例子表明广义Rame的范围远远大于通常的frame．我们借助于范畴论的工具来研究广义...
- 刘菡
- 关键词：素元完全正则
- 文献传递
