反射子范畴相关论文
θ-开集和δ-开集是特殊的开集.本文以此为基础,引入θ-空间、δ-空间、弱θ-连续映射、θ-连续映射、强θ-连续映射、弱δ-连续映......
L-预拓扑空间是L-拓扑空间的推广.本文对L-预拓扑空间中一些近似L-开集（其中L是有逆合对应的C-格）的若干性质、以及与近似L-开集有关......
Let L be a meet continuous lattice. It is proved that the category Top of topological spaces can be embedded in the cate......
Quantale是由C. J. Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量......
Quantale理论产生于上世纪80年代,其目的是为了给量子力学建立新的数学模型.自1990年D.NYetter揭示了Girard的线性逻辑与Quantale......
本文论述了弱空间式Locale和Locale的反射性，全文主要内容如下： 1.引入弱空间式locale的定义，证明弱空间式locale范畴WSloc为范畴L......
本文在完备Heyting代数的格值环境下,提出了新的格值模糊化收敛空间的概念,称之为格序模糊化收敛空间,并研究其性质和与其他结构之......
本文主要研究了预序集上的双Scott拓扑及其性质. 第一章，我们主要介绍有关预序集的一些基本概念以及本文要用到的一些基本结果.......
研究L-预拓扑空间中L-开集的一些近似形式(其中L是有逆合对应的C-格):θ-L-开集,δ-L-开集,α-L-开集以及β-L-开集.证明了(1)当L......
作者利用有上伴的映射构成的函数空间定义了有界完备dcpo上的强线性FS-domain，并讨论了它和线性FS-格的关系以及它的拓扑、范畴等性......
通过研究上界交空间的一种分离性,引入了上界交空间的子空间、商空间、积空间及交T0空间等概念;其次,找到了刻画这种分离性的两个......
利用模糊Quantale上的模糊预核映射,证明模糊Quantale范畴是模糊Z-Quantale范畴的反射子范畴,给出由万有映射像集生成的模糊Quanta......
引入局部条件并半格(简记为L-cusl)及其理想完备化等概念. 证明了: 任一代数Ldomain的紧元集是L-cusl; 任一代数L-domain是其紧元......
讨论了超连续domain与拟超连续domain的相关性质,证明了超连续半格范畴为有性质M＊的拟超连续domain范畴的反射子范畴。......
对简单拟阵范畴（以强映射为态射,以全体简单拟阵为对象的范畴）与拟阵范畴（以强映射为态射,以全体拟阵为对象的范畴）之间的关系进行了研......
基于Snyth幂Domain的构造,本文证明了连续半格范畴CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Cohere......
通过广义的推出和广义的拉回结构，本文主要得到了关于反射及其对偶的一个判别准则，本文还得到其它几个关于反射和余反射范畴的结果。......
本文给出了局部定向完备集的概念及其在此结构下的一种新的双小于关系,从而进一步给出了一种新的连续性概念,接着讨论了局部定向完......
本文构造了范畴Ω-Cat上的一个模,并且证明了范畴Ω-Poset与范畴Ω-CatT同构....
在满层的L-Kent收敛空间中引入了对称性的概念,定义了对称的满层L-Kent收敛空间范畴,对称的满层L-极限空间范畴,对称的满层L-主收......
本文研究了ｌｏｃａｌｅ范畴的反射子范畴给出了反了范畴的刻划定理，从一秀的ｌｏｃａｌｅ出发，完全构造性地给出了ｌｏｃａｌｅ的正则反射，完全正则反射和零维反射的构造。......
目的得到有关θ-开集及δ-开集的一些新结果。方法以θ-开集及δ-开集的定义为基础，用拓扑和范畴论方法进行研究。结果得到θ-开集......
模糊拓扑学是以一般拓扑学为特款的一种新的拓扑理论.序结构的引入,使得对模糊拓扑同一性质的研究呈现多样化,换句话说,人们可以从......
Molodtsov引入软集的概念,可作为通用的数学工具去处理不确定性问题.本文关注模糊软集在一些代数结构和拓扑结构中应用的几个问题.......
本文给出L-fuzzy N-收敛空间的定义,讨论L-fuzzy N-收敛空间范畴(L-fuzzy N-收敛空间和它们之间的连续映射构成的范畴)的若干范畴......
