内蕴群范畴中的乘积性质

从范畴的角度出发,引入内蕴群范畴的概念,讨论内蕴群范畴中的乘积性质,证明关于乘积封闭的范畴的内蕴群范畴也是乘积封闭的.     

模糊完备格范畴中的乘积和余积

讨论了以L-模糊完备格为对象、以保任意L-模糊集并的映射为态射的L-模糊完备格范畴LSUP中的乘积和余积,给出了乘积和余积的具体结构,推广了经典完备格范畴的结论,为研究此范畴的其他性质打下了基础。     

同底L-fuzzy拓扑空间范畴及其积运算

引入同底L-fuzzy拓扑空间范畴,证明了一族L-fuzzy拓扑空间的"乘积空间"正是其在上述范畴中的乘积.引入一族L-fuzzy拓扑空间的"上积空间",证明了一族L-fuzzy拓扑空间的"上积空间"正是其在上述范畴中的上积.     

邻域系算子范畴及相关性质

对拓扑空间中的邻域系性质进行了进一步研究.提出了邻域系算子和邻域连续映射的概念,定义了邻域系算子范畴,讨论了该范畴上的余积和乘积,并证明了邻域系算子范畴与拓扑范畴是同构的2个范畴.     

拓扑系统范畴完备性与Tychonoff乘积定理

拓扑系统是目前最广泛的拓扑学研究对象,它以点集拓扑空间、Locale的空间化、模糊拓扑空间与拓扑分子格为特例,用它可研究计算机程序设计语言指称语义的Domain理论．本文旨在建立拓扑系统范畴的乘积结构与等子结构,表明拓扑系统范畴是完备范畴．讨论拓扑系统的紧性,得到了拓扑系统关于紧性的Tychonoff乘积定理．     

映射族确定预拓扑空间

讨论了由映射族确定预拓扑空间的一些方法，定义了预拓扑空间范畴preTOP，并证明预拓扑空间范畴preTOP具有乘积、余积．     

Riesz模范畴的完备性和余完备性

范畴论是现代数学的基础,从Riesz模范畴出发,研究Riesz模的内部特征是研究Riesz模的重要方法。范畴的极限是范畴论的重要概念之一,范畴中乘积、等值子概念均可以看作是范畴的某种特殊的极限,余积、余等值子是特殊的余极限。范畴中极限的存在性决定了该范畴的完备性,余极限的存在性决定了余完备性。通过对以Riesz模为对象,Riesz模同态为态射的Riesz模范畴极限的研究,给出了Riesz模范畴中的乘积与余积、等值子与余等值子的具体表示形式,进而证明了Riesz模范畴具有完备性和余完备性。     

分子格范畴中一种新的乘积结构

利用完备格上的关系，在一族分子格｛Ｌｉ｝ｉ∈Ｉ的直积上引入了二元关系，讨论了关系的一些基本性质．借助于关系，在引入了下集的概念，证明了中的所有下集全体按集合包含序构成一个分子格．由此得到了一族分子格在分子格范畴中的乘积结构，并且给出了乘积对象中的全体分子与完全分子．最后证明了一族强分子格在分子格范畴中的乘积对象仍然是强分子格．     

L-fuzzy滤子空间范畴

给出L-滤子和L-fuzzy滤子空间的概念,讨论了固定集合X上全体L-滤子之集的一些格论性质。研究了L-fuzzy滤子空间范畴LFIL的若干范畴性质,给出了范畴LFIL中等子和乘积的构造,证明了LFIL是拓扑范畴,得到了范畴LFIL与范畴LCFIL之间存在着一对伴随函子的结果。     

L-子坡代数范畴及其性质

研究L-子坡代数范畴L-SInc的性质,首先给出了L-子坡代数范畴的定义,证明了其为坡代数范畴上的拓扑范畴,给出了其中等子和乘积的构造,证明了它有拉回.其次,定义了坡代数L-余塔的概念,以及由所有坡代数L-余塔构成的范畴IncCL,证明了在一定条件下,范畴L-SInc与范畴IncCL同构.     

Girard Quantale范畴中的极限

本文讨论了Girard Quantale范畴中的极限,并且给出了该极限的结构,同时得到了此范畴是完备范畴,且具有拉回等性质.     

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

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

Quantale的最大左半可换商

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

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

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

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矩阵可逆性的刻画

研究了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系统的所有子系统在定义的偏序下是完备格.