态射相关论文
效应代数的概念是由美国数学家Foulis和Bennett于1994年引入的一种代数结构.效应代数通常研究的是量子逻辑中的内容,比如正交模格......
EQ-代数是高阶模糊逻辑对应的真值代数结构,BCI-代数是组合逻辑中BCI-系统的代数表述,伪BCI-代数是BCI-代数的非可换推广.本文分别......
本文研究了环上矩阵的加权Moore - Penrose逆,矩阵的加权Γ逆,态射的加权Moore - Penrose逆,态射的加权（i , , j ）逆,具有核的态射的......
Moore-Penrose逆和Drazin逆是两类经典广义逆,在诸多领域中发挥着重要的作用.随着研究的深入,学者们引入了许多新型广义逆,如核逆......
广义逆可以分为经典广义逆和新型广义逆.经典广义逆有Moore-Penrose逆以及Drazin逆（Drazin指标为1时称为群逆）,这两类广义逆在许多领......
泛型程序设计思想是软件重用技术中重要的思想，近年来这个思想受到广泛的重视并发展很快，为了更有效地保证泛型程序设计的正确性，本文......
该文给出了预加范畴中具有泛分解的态射的(1,…,i)-逆存在的条件及其表达式,特别地,得到了这类态射的Moore-Penrose逆和群逆存在的......
学位
有限域上的置换多项式有很久的历史.早在十八世纪人们就开始研究它们了.对一个有限域F来说，它上面的一元置换多项式的定义是很显然......
设M,N是左R-模.本文定义了Hom(M,N)的单边单位正则性,给出了Hom(M;N)是单边单位正则的等价条件，并将clean环的一些性质推广到Hom(M,......
取G=S4，P为S4的一个Sylow-2-子群，则FP(G)为一个fusion system.在本文中，我们提出了有关fusion system的研究现状，掌握了fusion system......
本文给出了预加范畴中具有泛分解的态射的(1,...,i)-逆存在的条件及其表达式.特别地，得到了这类态射的Moore-Penrose逆和群逆存在的......
对带有对合“*”的范畴C中态射φ的关于可逆态射h，k的广义Moore-Penrose逆φ+hk作了研究，给出了它存在的几个等价条件和若干刻划．......
期刊
研究了范畴中态射f关于态射β和γ的加权Moore-Penrose逆fβ+,γ,分别给出了一般态射、有满单分解态射与有核(上核)的fβ+,γ存在......
本文研究了范畴￡中具有泛分解态射f=pgq关于对称态射β,γ的加权Moore-Penrose逆,并给出了其存在的充要条件及其表达式.......
给出了预加法范畴中具有泛分解态射的加权Moore-Penrose逆存在的充要条件及其表达式,推广了具有泛分解的态射的Moore-Penrose逆的......
研究了预加法范畴中态射的(1，…，i)-逆，给出了态射三乘积βα′γ的不变性的充要条件，其中α′是态射α的(1)-逆或者(1，2)-逆。......
研究了预加范畴中具有广义分解的态射的广义Moore—Penrose逆，并给出了广义Moore—Penrose逆存在的充要条件及其表达式．......
论文探讨从集合与双射、结构与态射、范畴与函子到λ演算与相等映射的共同思想与规律....
研究了范畴C中有满单分解态射φ关于态射h，k的加权Moore-Penrose逆φhk^＋的存在性问题，给出了φhk^＋存在的几个充分必要条件，推广了态射......
研究了一般模丛之间的正合关系,讨论了一些特殊的投射丛上正合的可裂性.特别地,对原有关于矢量丛的正合条件适当改变后,使定理的实......
本文推广范畴上态射集中的星序理论．引进范畴上态射集中的加权星序．利用态射集的加权广义逆来刻划态射集中的加权星序．给出了态射集中......
本文给出预加范畴中具泛分解和广义分解的态射的广义Moore-Penrose逆存在的条件及其表达式,推广了具泛分解态射的Moore-Penrose逆......
研究态射广义Moore-Penrose逆的倒换顺序律, 利用态射广义Moore-Penrose逆的性质给出了态射广义Moore-Penrose逆的倒换顺序律成立......
本文以态射偶的等化子为工具研究态射的广义逆，对于态射f，给出了g为f^-,f^D和f^+的充要条件，并在矩阵范畴中建立了齐次线性方程组解与......
本文研究范畴中态射的广义(i,…,j)逆,利用态射广义分解的性质给出了态射广义(i,…,j)逆存在的一些充要条件,导出了态射的广义Moor......
本文研究了态射的广义Moore-Penrose逆,给出了范畴中态射的广义Moore-Penrose逆存在的一些新的充要条件,也给出了广义Moore-Penros......
分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与......
证明了如下结果:设C是一个带有对合"*"及正性条件的正则预加性范畴,若{f-}={g-},则f=g....
研究范畴中态射的加权Moore-Penrose逆，利用态射广义分解的性质给出了态射加权Moore-Penrose逆存在的一些充要条件，导出了态射的加权......
通过态射的正则性,讨论加法范畴中态射的广义Moore-Penrose逆.给出了正则态射的广义Moore-Penrose逆存在的几个充要条件以及广义Mo......
研究态射集中的Г-逆的存在条件与星序的刻划．利用Г-环的方法得到了Г—Moore-Penrose逆存在的一些条件．给出了Г—Moore-Penrose逆......
研究了效应代数上态射、单调态射和弱单调态射的一些性质,证明了如果E1,E2为格效应代数,：E1→E2是1-1态射且是格同态,那么是......
讨论态射的Г-Drazin逆．给出了态射的Г-Drazin逆的一些性质和柱心．幂零分解．...
研究了拓扑分子格范畴中源泉的初始性,给出了拓扑分子格范畴中一个源泉是初始源泉的一个充要条件,即在拓扑分子格范畴中一个源泉是......
研究带对合范畴中态射的双加权广义Moore-Penrose逆,得到了态射双加权广义Moore-Penrose逆存在的充要条件及其表达式,讨论了态射双......
设G是群,end（G）表示g的自同态组成的集合。在这篇注记中,我们证明了：若G是有限群,则α∈end（G）是态射当且仅当G=Gα×Ker（α）;并讨论......
本文研究了同余格范畴中的态射,并得到了相应的结论....
在方程逻辑中,通过引入语句函子Eqn : Sign→Set和模型函子Alg : Sign→Catop ,得到了方程逻辑可满足性条件定理,从而建立了方程逻......
介绍了 SL-闭包空间的概念,指出了它是LF拓扑空间中S闭包算子的推广,并研究了它的收敛性;还提出了SL-连续映射的概念,并讨论了它的......
本文研究了伪效应代数的极真算子的问题。利用在与剩余格和基本代数中定义偏序概念相同的传统方式的方法,获得了极真算子的一些基......
以对象和态射同时带类型的范畴为研究对象,讨论了经典数学范畴论的推广问题。首先提出了＂分类与类型化是人类认识世界的基本方法＂的......
本文引进并讨论态射集中的Г-减序，给出了Г-减序的一些刻划和性质．...
该文讨论了Ａｂｅｌ范畴中态射的幂的性质。把这些性质用到ｐ－除环上的矩阵范畴，得到ｐ－除环上矩阵的幂的一些结论。......
利用亏格二曲线上的秩二稳定向量丛的分类结果,研究了亏格二纤维化曲面上的稳定向量丛的问题.......
该文研究范畴中态射α关于对称态射β和γ的加权Moore-Penrose逆αβ.+γ，分别给出了一般态射、有满单分解态射与有核(上核)态射的......
设C是加法范畴，态射φ，η：X→X是C上的态射．若φ，η具有Drazin逆且φη=0，则φ＋η也具有Drazin逆．若φ具有Drazin逆φ^D且1x＋φ^Dη可逆，作者......
