新型集合套范畴的弱Topos性

借助模糊集理论中的集合套理论，引入一种新型的集合范畴SEB3。它满足卡氏积封闭性，但不是Topos，而是介于卡氏积封闭性和Topos之间的一种结构，我们称之为弱Topos。     

集合套范畴的研究

模糊集理论与 Topos理论有着密切的联系 ,借助于模糊集理论中的集合套理论 ,引入了两种新的范畴——集合套范畴 SEB1和 SEB2。首先证明了 SEB1满足卡氏积封闭性 (Cartesian Closed) ,但没有SC(子对象分类器 ) ,所以 SEB1不是 Topos.其次 ,得出 SEB2是一个 Topos     

三角范畴和Abel范畴的Torsion理论

本文主要研究了三角范畴在Abel化过程中torsion理论的保持问题.利用三角范畴的coherent函子范畴是Abel范畴,证明了T的coherent函子范畴A(T)是A(D)的thick子范畴;若(X,Y)是D的torsion理论,且D=X*Y的扩张是可裂的,那么(A(X),A(Y))是A(D)的torsion理论.     

数学三个世界的理论简介

建构主义认为学习即发展,教学的作用在于根据学生实际需要帮助其发展.2004年英国Warwick大学教授David Tall以建构主义理论为基础,结合当代认知科学、信息科学、新皮亚杰主义等研究成果创立了数学的三个世界理论.该理论主要以中学生和大学生为研究对象,重新划分了认知层次,更加合理地解释了人的认知发展过程.本文旨在阐述该理论在促进学生发展过程中的作用.1 数学的三个世界理论结构概念—具体化世界:以对世界的感知为基础,通过反思利用语言形成精致的意义.不仅包括对外部世界的认识,也包括对主体内部世界的感知.在这个世界中数学学习的对象是具体的、形象的、可见的,简称具体化世界.     

ω-范畴完全理论的特征

在一阶理论的型中建立了拓扑空间,证明了该拓扑空间的基本性质;利用上述性质,证明了ω－范畴完全理论的新特征。     

模糊理论与Kleisli范畴

运用范畴论的观点和语言,讨论了几种真值集不同的模糊集,得出它们都是特殊的模糊理论.更进一步,指出了模糊理论所对应的范畴与由模糊理论诱导的单子所构造的Kleisli范畴的等价关系.最后,通过一个实例,描述了伴随函子诱导的单子,并构造了相应的Kleisli范畴,指出了Kleisli范畴在模糊理论中的应用.     

L-fuzzy集理论的范畴基础与层表示

鉴于L-fuzzy集在理论上的重要性和应用上的广泛性,旨在建立L-fuzzy集理论的范畴基础与它的层表示,提出完备范畴中对象上的格值结构概念,这一概念是L-fuzzy结构在范畴层面上的提升,进一步提出完备范畴上格值结构提升范畴概念,证明了在集合范畴中L-fuzzy结构与格值结构是同构的.以集层、群层、环层和左R-模层以及Grothendieck层等概念为基础,提出完备范畴中对象上的层结构以及完备范畴上层结构提升范畴概念,证明了在集合范畴中L-fuzzy结构与层结构也是同构的.     

多值命题逻辑中逻辑理论的拓扑刻画

基于多值Lukasiewicz命题逻辑系统Ln中的计量逻辑学理论。研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系，并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画。     

态族带序结构的范畴

范畴的态族可以赋予一些结构,如Ab范畴,但在自然界中我们大量接触的是连续现象,作为现代分析的基础,连续是用序关系处理的.因此,本文赋予范畴的态族一个序结构,引进了带序范畴和正序函子,以此作为连续性的一种范畴描述.如范畴C带T_0拓扑,若(?)U_fg,(?)U_f,U_g,使得U_fg=U_f.U_g.则按开集的一种包含关系即构造出带拓扑的范畴上的序结构,从而在拓     

二值命题逻辑中理论的发散性、相容性及其拓扑刻画

在二值命题逻辑系统中基于逻辑度量空间(F(S),ρ)而建立起了逻辑理论的发散性、相容性和理论的拓扑性质之间的联系。证明了逻辑理论Г是全发散的当且仅当D(Г)在(F(S),ρ)中稠密,闭理论Г是相容的当且仅当Г在(F(S),ρ)中不含内点,证明了(F(S),ρ)是零维空间,并具有一种类似于樊畿性质的所谓“有限等球连通性”．     

内插空间理论的应用

综述了线性算子内插法与内插空间理论在Banach空间几何学,微分算子,逼近理论,积分算子,Fourier分析等领域的一些应用。     

基于群范畴的L-fuzzy结构提升范畴及其表示

引入群范畴上L-fuzzy结构提升范畴与格值结构提升范畴概念,L-fuzz结构是在逻辑层面表达群理论多值语义的有点化描述,也是Zermelo-Fr(a)nkel公理集合理论和各种代数形式理论的格值模型的语义赋值,而格值结构是在范畴层面表达群理论多值语义的无点化描述,本文建立了L-fuzzy结构与格值结构这两种不同数学结构之间的联系,证明了在范畴层面上述两种结构是同构的.给出了基于群范畴的L-fuzzy结构的格值结构表示.     

基于群范畴的层结构、格值结构、L-fuzzy结构提升范畴及其关系

引入群范畴上格值结构、层结构、L-fuzzy结构提升范畴概念,格值结构是在范畴层面表达群理论多值语义的无点化描述;层结构是把群上局部信息合理粘连成整体信息的数学结构;而L-fuzz结构是在逻辑层面表达群理论多值语义的有点化描述,也是Zermelo—Fr¨ankel公理集合理论和各种代数形式理论的格值模型的语义赋值,建立格值结构、层结构、L-fuzzy结构这三种不同数学结构之间的联系,证明在范畴层面上述三种结构是同构的。     

一种新的叠层板壳高阶理论

本文提出了一种新的叠层板壳高阶理论,然后又研究了正交对称叠层板,反对称叠层板,圆柱弯曲和球壳弯曲问题.为了检验理论的准确性,文中计算了几个特殊例子,数值结果和精确解吻合得相当好,说明本理论具有较高的准确度,且表现出未知数较少,解题方便的优点.     

Z 分次表示理论

箭图Hecke 代数的Z 分次表示理论是“代数群、量子群及Hecke 代数” 领域中当前最活跃的研究方向之一. 箭图Hecke 代数及其分圆版本产生于对量子群及其可积最高权表示的范畴化的研究, 它们与数学及数学物理的许多不同分支如Lie 代数、量子群、Kazhdan-Lusztig 理论、代数几何(箭图簇,反常层)、扭结理论、拓扑量子场论(TQFT) 等都有着紧密的联系与相互作用. 本文详细介绍了该方向的最新进展、前沿以及研究前景.     

模糊集范畴及集合范畴上的模

本文构造了在完备格上模糊集范畴.利用极小扩展原则和范畴的性质,获得了函子Uα构成集合范畴上的模结构,推广了P.Eklund的结论.     

Waldhausen范畴的陈映射

本文讨论了关于Waldhausen范畴的K理论与循环同调理论的联系.主要是推广了Dennis迹映射和Jones-GoodwillieChern映射.证明了迹映射保持各自的乘法结构.最后讨论了双变量的情形.     

Waldhausen范畴的陈映射

本文讨论了关于 Ｗａｌｄｈａｕｓｅｎ范畴的Ｋ理论与循环同调理论的联系．主要是推广了 Ｄｅｎｎｉｓ迹映射和Ｊｏｎｅｓ－Ｇｏｏｄｗｉｌｌｉｅ Ｃｈｅｒｎ映射．证明了迹映射保持各自的乘法结构．最后讨论了双变量的情形．     

缠绕模的辫子范畴

该文给出了缠绕模范畴成为辫子范畴的充分必要条件.