全序群范畴的Hom函子

设 A 是 Abelian 格序群,B 是 Abelian 全序群,本文证明了 Hom(A,B)是 Abelian 全序群,Hom(A,·)是 Abelian 全序群及其保序同态的范畴(?)到自身的共变函子,同时在全序模及其保序同态的范畴上得到了类似的结果.     

函子的Drazin逆

讨论了具有标准分解序列的函子Drazin逆和函子w-加权Drazin逆,给出了其存在的充分必要条件和相应的表达式.     

简单图范畴与群范畴之间的一对伴随函子

基于群中元素的交换性,构造了一个函子G：Groups→s -Graphs ,并且构造了其反向函子F：s -Graphs→Groups ,证明了F恰是G的伴随函子。     

范畴的伴随函子

研究了两个Grothendieck范畴之间的关系及一般伴随函子之间的关系.所得结果对研究各种代数结构是有用的.     

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

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

格序群的覆盖函子和圈积

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

函子范畴与范畴的平凡扩张

设C为小范畴,D为预加法范畴,根据范畴D上自加法函子F,定义函子范畴F上自加法函子f,并给出一族范畴同构(D∝F)C≌D∝F     

自由函子及其伴随

证明了由集合范畴到广模范畴的自由函子的存在性,更重要的是构造了自由函子的伴随函子。     

L-Top上的Ir-函子

对frame L中的素元r, 引入了范畴L-Top上的一具体函子Ir,证明了该函子为层Lowen 函子ωrL与ιrL的复合,给出了其若干应用,讨论了它与Rodabaugh的满层化函子GLk的关系。     

函子范畴的本质(多余)子对象

设C是小范畴,则范畴D中的本质(多余)子对象构造出函子范畴DC中相应的本质(多余)子对象。反之,设F,G是函子范畴DC中的两个常值函子,若F是G的一个本质(多余)子对象,则对任意x∈obC,在范畴D中有F(x)是G(x)的一个本质(多余)子对象。     

关于函子范畴的一点注记

在介绍函子范畴的概念及例子的基础上,证明了拟Abel(正合)范畴的函子范畴仍是Abel(正合)范畴,并给出两个应用.     

模范畴中的群逆

讨论模的同态的群逆存在的条件,得到正则自同态的群逆通过弱广义逆表示的显式,并给出一些应用和例子。     

两类分块矩阵的群逆

当P为退化的幂等矩阵时,我们利用矩阵的秩的性质、分块矩阵的初等变换,以及群逆存在的充分必要条件,讨论了形如M=P P＋PP＊（P0）和M=P P（P＋PP＊0）（其中P为方阵）的两类分块矩阵群逆的存在性.接着,利用初等变换和矩阵1逆的求法,根据矩阵群逆与矩阵3次幂的1逆的关系,最终给出上述两类分块矩阵群逆的一般表示式,并以例子加以说明     

两个幂等矩阵组合的群逆

运用幂等矩阵核空间的性质证明复数域上两个非零幂等矩阵P,Q的组合a_1P+b_1Q+a_2PQ+b_2QP+a_3PQP+b_3QPQ+a_4PQPQ+b_4QPQP+a_5PQPQP+b_5QPQPQ+a_6PQPQPQ(其中a_i,b_j∈C(1≤i≤6,1≤j≤5)且a_1b_1≠0)在条件(PQ)~3=(QP)~3下的秩与系数的选取无关,进而证明其群逆的存在性,并得到了组合aP+bQ+cPQ+dQP的群逆计算公式.     

导出微分分次范畴的Nakayama函子

设A是域k上的DG范畴,B.Keller定义了微分分次范畴Dif A的DG函子ν。在定义了Dif A的DG函子的基础上,证明了ν和是HA的正和函子,且ν和诱导了DA的正和函子Lν和R。     

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

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

分块矩阵群逆的几种表示

通过利用群逆的定义验证的方法,给出三类分块矩阵群逆存在的条件及其表示.