共查询到15条相似文献,搜索用时 46 毫秒
1.
在范畴C中以推出为对象,推出态射为态射构成推出范畴C^□.本文了给出了范畴C^□中的三角可换定理,并得到了C^□中上积存在的条件,进一步还证明了加法范畴的推出范畴仍为加法范畴. 相似文献
2.
3.
研究Abel范畴的推出范畴与Abel范畴的平凡扩张的关系,证明了Abel范畴推出范畴的平凡扩张与Abel范畴平凡扩张的推出范畴同构. 相似文献
4.
给定一个加法范畴A,证明了如果A是Karoubian范畴,则以A中的推出为对象,推出态射为态射所构成的推出范畴A0也是Karoubian范畴。 相似文献
5.
连冠勤 《莆田高等专科学校学报》2010,(5):11-13
考虑加法范畴的推出范畴的幂等完备化与加法范畴幂等完备化的推出范畴的关系,进一步证明了Abel范畴的推出范畴的幂等完备化与Abel范畴幂等完备化的推出范畴等价。 相似文献
6.
通过极小满的性质,讨论一个范畴A的(半)完全性与它的推出范畴Aout的(半)完全性之间的关系,得到了一个范畴A是(半)完全范畴当且仅当Aout也是(半)完全范畴,并将其应用到环上,得到了一个环是(半)完全的当且仅当它的推出诱导环是(半)完全的. 相似文献
7.
8.
9.
李桃生 《华中师范大学学报(自然科学版)》1997,31(1):5-9
讨论了以下问题:1)方程αχβ=γ在其有解时的性质;2)方程组{αχβ=γ,σχτ=ρ有解的充要条件及通解表达式;3)方程αψβ+σψτ=γ有解的充要条件及通解表达式。 相似文献
10.
11.
12.
孟鹏 《渤海大学学报(自然科学版)》2006,27(2):130-133
积和余积是范畴学中的一对对偶概念,作为范畴学的一对基本概念自然在其具体对象中就会有所体现,以群,模为对象来讨论它们的积和余积。 相似文献
13.
给出了范畴中态射的广义(i,…,j)逆存在的某些充要条件,证明了态射的广义Moore-Penrose逆的表达式,推广了态射的Moore-Penrose逆的相应结果。 相似文献
14.
分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路. 相似文献
15.
给出了范畴中具有泛分解态射的广义 (i,… ,j)逆存在的一些充要条件 ,证明了态射的广义Moore Penrose逆的充要条件及其表达式 ,推广了关于态射的(i,… ,j) 逆的一些结果。 相似文献