k-线性三角矩阵范畴

k-线性范畴是有限维k-代数的自然推广.设C=C1凵MC2是k-线性三角矩阵范畴,首先证明k-线性三角矩阵范畴C是三角矩阵代数的自然推广,然后研究左C模范畴,证明了cMod同构于三元组范畴CT,并利用Hom函子与函子的伴随关系,得到CMod同构于三元组范畴C■,推广了经典的三角矩阵代数的模范畴理论.

双线性扩张范畴

双线性扩张范畴C=A[M,N,φ,ψ]B的模范畴C Mod是双扩张代数的自然推广,且等价于四元组范畴C T.作为应用,给出了2-循环复形范畴与特殊的双扩张范畴等价的证明,以及由范畴A或B中的某些AR-序列可得C T中的部分AR序列.

函子范畴的Recollement

函子范畴是一类重要的范畴,因为许多常见的范畴都是函子范畴,并且任意给定的范畴都可以通过Yoneda引理嵌入到一个函子范畴,而函子范畴具有比原范畴更好的性质.本文证明了Abel范畴的recollement可以自然诱导两类函子范畴的recollment.应用到k-线性范畴,得到k-线性Abel范畴的recollement可以自然诱导其模范畴的recollement.

基于范畴的数据降维方法

范畴理论主要是一些特定数学的对象和映射的概括和抽象,在此利用范畴理论阐述图像分析和识别中的数据降维问题,定义高维数据降维范畴的过程,并以主成分分析范畴和等距映射范畴分别验证了范畴理论应用到图像数据降维问题中的正确性。

关于加法范畴的几点注记

从环论的角度讨论了加法范畴 ,得到了加法范畴的若干性质 .

κ-线性双扩张范畴(Ⅰ)

κ-线性范畴是有限维κ-代数的自然推广.对应于双扩张代数,定义了κ-线性双扩张范畴■,并且证明了■Mod等价于四元组范畴■,推广了双扩张代数的模范畴理论.

Equivalence of crossed product of linear categories and generalized Maschke theorem

Some sufficient and necessary conditions are given for the equivalence between two crossed product actions of Hopf algebra H on the same linear category, and the Maschke theorem is generalized. Based on the result of the crossed product in the classic Hopf algebra theory, first, let A be a k-linear category and H be a Hopf algebra, and the two crossed products A#_σH and A#＇_σH are isomorphic under some conditions. Then, let A#_σH be a crossed product category for a finite dimensional and semisimple Hopf algebra H. If V is a left A#σH-module and WC V is a submodule such that W has a complement as a left A-module, then W has a complement as a A#_σH-module.