加法范畴的推出范畴

在范畴C中以推出为对象,推出态射为态射构成推出范畴C^□．本文了给出了范畴C^□中的三角可换定理,并得到了C^□中上积存在的条件,进一步还证明了加法范畴的推出范畴仍为加法范畴．     

n-拉回范畴的核

在Abel范畴C中,定义,n-拉回态射,在此基础上建立,n-拉回范畴C*,即C*是以范畴C中n-拉回为对象,n-拉回态射为态射.并进一步证明了 n-拉回范畴C*中核是存在的,这推广了文[1]的结论.     

范畴的推出范畴与平凡扩张

研究Abel范畴的推出范畴与Abel范畴的平凡扩张的关系,证明了Abel范畴推出范畴的平凡扩张与Abel范畴平凡扩张的推出范畴同构.     

关于Karoubian范畴的推出范畴的一点注记

给定一个加法范畴A，证明了如果A是Karoubian范畴，则以A中的推出为对象，推出态射为态射所构成的推出范畴A0也是Karoubian范畴。     

加法范畴的推出范畴的幂等完备化

考虑加法范畴的推出范畴的幂等完备化与加法范畴幂等完备化的推出范畴的关系,进一步证明了Abel范畴的推出范畴的幂等完备化与Abel范畴幂等完备化的推出范畴等价。     

推出范畴与完全范畴

通过极小满的性质,讨论一个范畴A的(半)完全性与它的推出范畴Aout的(半)完全性之间的关系,得到了一个范畴A是(半)完全范畴当且仅当Aout也是(半)完全范畴,并将其应用到环上,得到了一个环是(半)完全的当且仅当它的推出诱导环是(半)完全的.     

关于半连续格范畴

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

Abel范畴中的态射方程

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

范畴中态射集的Baksalary-Hauke序

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

群与模范畴中的积和余积

积和余积是范畴学中的一对对偶概念,作为范畴学的一对基本概念自然在其具体对象中就会有所体现,以群,模为对象来讨论它们的积和余积。     

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

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

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

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

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

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