Ω-Abel群范畴中的积与余积

引入以交换的有单位元的Quantale为真值集的Ω-Abel群范畴的概念,利用范畴理论研究了Ω-Abel群范畴的积与余积.     

范畴中态射集的sharp序

定义了范畴中态射集的ｓｈａｒｐ序，给出了它的一些性质和等价刻划，并讨论了它与态射集减序的关系。     

Abel范畴中的态射方程

讨论了以下问题：１）方程αχβ＝γ在其有解时的性质；２）方程组｛αχβ＝γ，σχτ＝ρ有解的充要条件及通解表达式；３）方程αψβ＋σψτ＝γ有解的充要条件及通解表达式。     

Neat模和等价子范畴

本文通过Morita Context（R，M，N，S，ψ，φ）方法，讨论了absolutely τ-pure左R-模范畴和absolutely σ-pure左S-模范畴，得到了关于模及子范畴等价的一些结果．     

关于半连续格范畴

构造了一类新的保持半连续格结构的映射，进而得到了意义更广泛的连续格格范畴。     

范畴中态射集加权星型序的刻画

给出了具有对合*范畴中态射集的加权星型序的一些刻画，推广了以往文献的相应结论。     

范畴中态射集的Baksalary-Hauke序

定义了范畴中态射集的Ｂａｋｓａｌａｒｙ－Ｈａｕｋｅ序,给出了它的等价刻划,并讨论了它与态射集星形序之间的关系     

Ω-群范畴是幺半范畴

主要证明了Ω-群范畴是幺半范畴。     

推出范畴的上核

讨论推出与推出之间的关系,定义了推出态射,在此基础上建立了推出范畴影l^＊．影l是以范畴留中的推出为对象,推出态射为态射构成的范畴．并进一步证明了推出范畴中上核存在的条件．     

关于范畴中态射的广义Moore-Penrose逆

给出了范畴中态射的广义（i,…,j)逆存在的某些充要条件，证明了态射的广义Moore-Penrose逆的表达式，推广了态射的Moore-Penrose逆的相应结果。     

形式语言的范畴计算模型研究

分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路.     

函子范畴上加性函子的表示

给出了函子范畴中任意右正合保直和可加函子F与张量函子B自然等价的一个定理.将关于模范畴的Watts定理推广到函子范畴.     

Yetter-Drinfeld范畴上相关Hopf模结构定理的改进

设L是域k上的Hopf代数,其对极为sL;A是Hopf代数,其对极为sA,令B是右A 余模代数.给出了改进后的LLYD中(A,B) Hopf模的基本结构定理,它是一般Hopf模基本结构定理的推广.     

范畴中态射集左(右)加权星型序的刻画

利用态射的加权广义逆定义态射集的左（右）加权星型序,给出它的等价刻画,以及特殊范畴中进一步的等价刻画,当加权态射分别为单位态射时,得到文献[1～3]的相应结论.     

具有泛分解态射的广义(I,…,j)逆

给出了范畴中具有泛分解态射的广义 (i,… ,j)逆存在的一些充要条件 ,证明了态射的广义Moore Penrose逆的充要条件及其表达式 ,推广了关于态射的(i,… ,j) 逆的一些结果。     

分块态射的广义逆

讨论了分块态射的Moore-Penrose逆,用不同与文[1]的方法给出了分块态射f=（u v）的Moore-Penrose逆表达式．这个表达式与Petr Peska（2000）给出的等价．     

G2型单代数群的单限制模的G1-扩张

设G是特征p的代数闭域K上单连通半单代数群，G1是第一次Frobenius态射的核，即G1＝KerF。要确定单G模的G－扩张必须先确定限制单模的G1－扩张。本文就是确定出特征p=5的代数闭域K上G2型单代数群的所有单G1－模的扩张群。