闭路函子和同纬函子保持同伦正则性

证明了闭路函子和同纬函子保持同伦正则性 ,同时构造出了一系列同伦等价的空间     

复形范畴函子（×RY，homs（Y，-））的同伦伴随性

主要讨论了复形范畴的张量积函子与horn函子的同伦伴随性，并且给出了同伦正则正向极限的定义，证明了复形范畴的张量积函子保持这种极限．     

复形范畴函子(_RY,hom_s(Y,-))的同伦伴随性

主要讨论了复形范畴的张量积函子与hom函子的同伦伴随性,并且给出了同伦正则正向极限的定义,证明了复形范畴的张量积函子保持这种极限.     

复形范畴函子((○)RY,homs(Y,-))的同伦伴随性

主要讨论了复形范畴的张量积函子与hom函子的同伦伴随性,并且给出了同伦正则正向极限的定义,证明了复形范畴的张量积函子保持这种极限.     

覆叠同伦正则态射的若干性质

在点标道路连通CW空间的同伦范畴中,引进了覆叠同伦正则态射的概念,并证明了笛卡尔积保持履叠同伦正则性,继而得到了smash积也保持覆叠同伦正则性,最后讨论了覆叠同伦正则性保函数空间.     

同纬映象函子与同伦正则态射

利用同纬映象函子定义稳定同伦正则态射, 并研究了稳定同伦正则态射存在的条件及性质, 得到如下结果： 若态射f: X→Y有稳定同伦标准分解 (g,Z,h), 设有A,B及相应的态射i: A→X与p: Y→B, 使得gi和ph是稳定同伦等价的, 则f: X→Y必为稳定同伦正则态射, 且在k稳定同伦意义下惟一.     

同纬映象的上乘法问题

证明了由两种途径得到点标拓扑空间Z的同纬映象SZ上的两个上乘法是同伦的。同时，也证明了对偶结果：通过两种途径得到点标拓扑空间Y的回路空间ΩY上的两个乘法也是同伦的。     

关于覆叠同伦正则态射

目的在点标道路连通CW空间的同伦范畴中,引进覆叠同伦正则态射的概念,研究它存在的条件、性质以及它与覆叠同伦单(满)态和覆叠同伦等价之间的关系。方法利用万有覆叠函子,将映射f:X→Y的研究转化为对它在万有覆叠空间上诱导的映射f~:~X(0)→~Y(0)进行研究。结果推广了同胚映射、同伦等价和同伦正则态射的有关结果。结论若f为同伦正则态射,则f必为覆叠同伦正则态射;若f为覆叠同伦正则态射,则f不一定是同伦正则态射。     

关于同伦正则态射与覆叠空间

在点标道路连通CW空间的同伦范畴(HCW*)中,利用覆叠函子得出:若f:X→Y是同伦正则态射,且f#:π1X→π1Y是满态射,则对π1Y的任一正规子群H,升腾映射■:(f#-1(H))→(H)也是同伦正则态射     

格序群的覆盖函子和圈积

继续研究了格序群的覆盖函子，自由积函子，张量积函子，以及反向极限函子和圈积函子之间的关系，进一步推广了Martines J，Serimger E，Powell B和Tsinakis C关于l-群自由积和偏序群的自由扩张的关系．     

连续广义偏度量空间

The notion of continuous generalized partial metric space is introduced via the Yoneda embedding. Such spaces are the counterparts of continuous directed complete partially ordered sets in the realm of generalized partial metric spaces. It is shown that both the forward globalization functor and the formal ball functor on generalized partial metric spaces preserve continuity, and the formal ball functor also reflects continuity.     

E-quantale范畴

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

特殊n-Coherent函子的性质

定义了n-Coherent函子, 并研究了特殊的n-Coherent函子间的余核和核,并给出了一些性质。     

分层函子

讨论了分层函子的性质,并给出了两个模同构的判定。     

数据库视图更新的一种Opfibrations方法

视图为数据库操作提供一定程度上的逻辑独立性,但视图支持的这一功能依赖于数据库视图更新问题的解决.针对数据库视图更新问题的研究现状,提出一种基于Opfibrations的数据库视图更新方法,在模型范畴内将视图定义映射提升为数据库视图更新函子并分析了泛转换存在的条件,对数据库视图更新函子的Opfibrations分裂性质进行了形式化证明,设计了数据库视图更新函子的Grothendieck构造方法,为数据库视图更新问题的有效解决提供了统一的基于Opfibrations方法的数学框架.     

关于拟 Frobenius 余环

定义并研究了拟 Frobenius 余环,证明了下面几个等价条件:C 是拟 Frobeniua 余环;AC有限生成投射模,并且 l:A→˙C 是 Frobenius 扩张;CA 有限生成投射模,并且l:A→C˙是 Frobenius 扩张;忘却函子Ur:Mε→MA是拟 Frobenius 函子;(G1,U1)与(Gr,Ur) 都是拟左 Frobenius 函子偶;忘却函子Ul:εM→AM 是拟 Frobenius 函子.     

L-fuzzy quantale若干性质的研究

首先给出了L-fuzzy quantale的定义,将L-fuzzy frame的一些重要结论推广到L-fuzzy quantale中,并给出了L-fuzzy quantale的一些等价刻画。其次,在Quantale中引入了L-滤子以及L-滤子Quantale的概念,证明了由任意一个L-滤子可以生成一个L-fuzzy quantale,在范畴L-FilQuant与范畴L-FQuant之间可以建立一个诚实函子。最后,引入了L-fuzzy理想、准素理想以及素理想的概念,讨论了它们的一些性质,得到了若干重要结论。