强共归纳数据类型上的Comonadic共递归

针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算可以包含额外的参数作为计算的输入;然后利用基于Comonads的Comonadic共递归给出了unfold和punfold的一种统一的描述,并进一步分析了punfold上的各种计算律,从而将Pardo对基于Comonads的带参数的递归计算研究扩展到共归纳数据类型.     

广义共迭代及其计算律

针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value共迭代提供一种统一和抽象的描述.在此基础上进一步从范畴论的角度分析了gunfold上的各种性质和计算律.     

抽象数据类型的双代数结构

对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定的不足.文中结合范畴论及分配律给出抽象数据类型的双代数结构,并通过λ-双代数自然地描述了语法构造与动态行为之间的转换关系；分别利用分配律对共代数函子及代数函子进行函子化提升,证明这种函子化提升可以将初始代数(或终结共代数)...     

一些子范畴的反变有限、共变有限及函子有限性

反变有限子范畴、共变有限子范畴和函子有限子范畴的研究在代数表示论中是非常重要的．文中，讨论了ｍｏｄＡ的一些满子范畴的反变有限、共变有限和函子有限等性质     

带固定参数的Monadic递归

针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律.     

格上的CF群范畴

将经典群和模糊群溶为一体，提出一种新的代数结构－－格上的CF群范畴，用函子的概念讨论了它们之间的关系，并从范畴论的角度出发，对格上的CF群范畴进行了统一描述。     

A_4型箭图的可分单态射表示和RSS等价

研究了A4型非线性定向箭图的可分单态射范畴与可分满态射范畴之间的RSS等价。利用组合和表示论的方法显式构造了RSS等价函子及其拟逆,并在A是A2的路代数时给出其Auslander-Reiten箭图。     

n-李代数自同构群和导子的提升

构造了n-李代数的uce函子并定义了它的乘法运算,给出了在函子作用下n-李代数自同构群提升和导子提升的条件是n-李代数完全,完善了n-李代数的扩张理论.     

共关系的基本性质

共关系(corelation)是关系的对偶概念。共关系理论可为共代数行为等价及共等式规范的研究提供一条新的途径。文章使用范畴理论研究共关系的基本性质,讨论共关系与关系之间的对应,以及等价共关系、共等价共关系等。特别地,还探讨了集合范畴中共关系的性质。     

幂级数Banach代数与自动连续性

本文引入了 Banach 代数上的幂级数 Banach 代数,研究了它本身的性质并给出了有关同态的自动连续性及其一般形式,得到 Banach 代数范畴上两个正合协变函子;从而获得构造交换根 Banach 代数的一种方法.     

H-Hopf双模余代数范畴与余代数范畴

引进H-Hopf双模余代数的概念．设Hopf代数H是余交换的,证明了H-Hopf双模余代数范畴等价于余代数范畴。     

从范畴论的观点看高等代数

在高等代数的教学过程中,教师借助范畴论的思想方法,如模、交换图、函子等,有助于学生深刻理解代数学思想,从而提高教学效果。     

Yetter-Drinfeld模范畴上的余代数与H-余交换

讨论了对于给定的一个余代数B，在什么条件下成为Yetter—Drinfeld模范畴上的余代数，并研究它与H-余交换之间的关系．证明了有大量的Yetter—Drinfeld模存在。事实上，所有的Smash余积都是Yetter—Drinfeld模范畴上的余代数。     

相关Yetter-Drinfeld模范畴YDB^c上的（D,H）-Hopf模

文章给出了由相关Yetter-Drinfeld模范畴YDCB诱导出的范畴YDCBα上的Hopf代数、模余代数和（D,H）-Hopf模的定义,得到了YDCBα上（D,H）-Hopf模的一些性质及同构定理.     

赋值模范畴Fm中的张量函子

引入了一类赋值模范畴Ｆｍ及赋值横模的张量积概念,并进一步找到张量函子在Ｆｍ中存在的条件,最后讨论了Ｈｏｍ模和张量模之间的关系,导出两个重要的弱赋值模同构。     

广义量子余交换余代数的Monoidal范畴

利用对偶的方法,引入了广义量子余交换余代数的定义,并给出了Smash余积余代数上的余模范畴的张量结构。     

Tensor Functors in the Category Fm of Evaluated Modules

Introduced the category F_m of the evaluated modules and constructed Hom functors,introduced the concept of tensor products for evaluated modules and then find the condition for existence of the tensor functors.Finally discussed the relationship between Hom modules and tensor modules and induced two important weak isomorphisms of evaluated modules.     

三角矩阵余代数上的有限Gorenstein余表现余模

利用范畴的等价定理和范畴之间的正合函子,给出了三角矩阵余代数Γ=(T _TM_U0 U)上的有限Gorenstein余表现余模的具体形式,并且得到三角矩阵余代数Γ与余代数T及U之间的有限Gorenstein余表现维数的关系Max{G.cp.dimT,G.cp.dimU}≤G.cp.dimΓ≤G.cp.dimT+G.cp.dimU+1。     

L—Fuzzy拓扑群范畴

介绍了 Ｌ－Ｆｕｚｚｙ拓群范畴,引入了两个函了了,构造了它们的右伴随函数子,证明了分明拓扑群范畴和诱导Ｌ－Ｆｕｚｚｙ拓扑群范畴都是Ｌ－Ｆｕｚｚｙ拓扑群范畴的余反射子范畴,引入了一遗忘函子,