几类特殊范畴的极限范畴

考虑几类特殊范畴上的极限范畴.证明了k-范畴(G-范畴,Artin范畴,Noether范畴)的极限范畴是k-范畴(G-范畴,Artin范畴,Noether范畴).     

加法范畴的极限范畴是加法范畴

讨论以范畴C中的极限为对象,极限态射为态射构成的极限范畴Cl.研究极限范畴的上积,并证明加法范畴的极限范畴仍为加法范畴.     

完备范畴的极限范畴与η-扩张

研究完备范畴的极限范畴与η-扩张关系,证明完备范畴之间的极限范畴的η-扩张与η-扩张的极限范畴同构。     

范畴的中心及其应用

给出推出范畴Do的中心与积范畴D×D×D的中心是一一对应的,极限范畴Dl的中心与积范畴(D×D×…×D)/I的中心是一一对应的(I是极限范畴Dl中的指标集),函子范畴的子范畴DC’的中心与范畴D的中心可相互确定等结果.     

范畴直极限的注记

考察了共尾子范畴的有关性质，特别地考察了完全共尾子范畴所引出的范畴Ｇ的直极限，利用直极限，该文给出了有关ｋ１群计算的一个重要结论的另一证明。     

模糊Quantale范畴的性质

引入了模糊Quantale的概念,证明了模糊Quantale范畴同构于L-代数范畴,于是从范畴论的角度说明L-代数也可以看成是Quantale的模糊化结构;给出了模糊Quantale范畴中的极限的具体结构,同时证明了该范畴是完备范畴;给出模糊Quantale范畴中逆系统的逆极限结构,引入了两个逆系统之间映射的定义,由此导出两个逆系统的逆极限之间的极限映射.     

极限范畴与平凡扩张

研究右完备的Abel范畴上的右平凡扩张,得出右完备范畴的平凡扩张范畴也是右完备范畴,并证明了范畴的平凡扩张与极限的交换性.     

ZYE3代数范畴

系统地讨论ＺＹＥ３代数的范畴理论，其中包括积，上积，纤维积，张量积，正向极限和逆向极限。证明了它们的存在性唯一性，且讨论了下些与之有关的性质。     

L集合范畴中的极限

以范畴论为基础，引入L集合范畴Set（L）概念，分别研究了Set（L）中的极限与余极限问题，同时给出了Set（L）中极限的具体结构和一些性质．     

范畴CoFrm的逆极限和定向极限

设CoFrm是coframe(即满足第二无限分配律的完备格)及coframe间保任意并,且其右伴随保有限并的映射组成的范畴.在CoFrm范畴的逆向系{Aα,αρβ,Σ}中各Aα不交并上建立了等价关系,给出了定向系{Aα,αρ*β,Σ}在格范畴下的余极限构造,并在此基础上给出了范畴CoFrm逆极限的具体构造.此外,还给出了范畴CoFrm的定向极限的具体构造.     

Girard Quantale范畴中的乘积

本文讨论了Girard Quantale范畴的乘积,并且给出了该乘积的结构,同时证明了此范畴中有等化子.     

Quantale的最大左半可换商

通过引入Quantale上左半可换核映射的概念, 用Quantale中的左准对称元给出最大左半可换商的刻画, 证明了左半可换Quantale范畴是Quantale范畴的反射子范畴, 并讨论了局部核映射与左半可换核映射之间的关系.     

模糊Z-Quantale范畴的反射子范畴

利用模糊Quantale上的模糊预核映射,证明模糊Quantale范畴是模糊Z-Quantale范畴的反射子范畴,给出由万有映射像集生成的模糊Quantale的具体结构,并讨论由反射子构造的模糊Galois伴随.     

E-quantale范畴

引入了E-quantale的定义及其一些相关概念, 讨论了E-quantale的一些重要性质。 证明了Quantale的幂集和E-quantale的乘积均可构成E-quantale, 给出了Quantale的一种自然扩张,由E-quantale可以扩张成一个Quantale。 在Quantale子范畴和E-quantale范畴之间定义了一个嵌入函子K, 并在函子K与遗忘函子U之间构造了一个自然变换, 证明了在一定条件下一个E-quantale和某个单位Quantale的幂集同构。     

基于拟幂等的交换单位Quantale的模糊Domain

基于一个拟幂等的交换单位Quantale,用模糊集的方法重新研究了量化Domain理论,主要定义了模糊DCPO上的模糊Scott拓扑,建立了满层的L-滤子的Scott收敛理论,证明了模糊DCPO范畴的笛卡尔闭性。虽然所得结论和已有文献中的基本一样,但是证明过程却有很大不同。结果表明,拟幂等的交换单位Quantale是用模糊集方法研究量化Domain的最宽泛的格。     

Quantale矩阵可逆性的刻画

研究了Quantale矩阵及其行列式的相关性质,给出了Quantale矩阵的逆的定义,并对Quantale矩阵的逆进行了研究,证明了Quantale矩阵是可逆的当且仅当Quantale矩阵的每行每列是正交的,并且每行每列都是1的分解.     

幂等左侧空间式Quantale的特征

讨论了幂等左侧Quantale的若干性质，给出了空间式Quantale的积和子Quantale是空间式Quantale．利用简单幂等左侧Quantale是空间式Quantale的结论，证明了幂等左侧Quantale是空间式Quantale当且仅当它是简单幂等左侧Quantale的乘积的子Quantale。     

Quantale代数核映射及其扩张

应用Quantale和Quantale模理论引入Quantale代数核映射的概念, 给出Quantale代数核映射的若干性质, 并讨论Quantale代数核映射与Quantale代数同余之间的关系, 得到了Quantale代数核映射的扩张定理.     

幂等Quantale的子Quantale

研究了QuantRle在幂等条件下，代数Quantale与空间式Quantale的关系，得到了Quantale及其子Quantale是空间式的充分条件，并且给出了幂等Quantale的子Quantale具体事例．     

Quantale系统的嵌入

利用拓扑系统和Quantale理论,先通过引入Quantale系统的子系统概念,定义Quantale系统之间的嵌入,再借助Quantale的结构,得到了Quantale系统的嵌入定理,并利用该嵌入定理研究Quantale系统空间化的嵌入,证明了一个Quantale系统的所有子系统在定义的偏序下是完备格.