共查询到20条相似文献,搜索用时 15 毫秒
2.
3.
4.
研究函子范畴ModC上加性函子的表示,把一个Abel群作成范畴ModC上的一个左C-模,构造出一个Hom函子和一个函子态射,证明了从函子范畴ModC到范畴Ab的任意变和为积的反变左正合可加函子都与某个Hom函子自然等价.所得结论在函子范畴上,推广了Watts定理. 相似文献
5.
函子范畴是—类重要的范畴,因为许多常见的范畴都是函子范畴,并且任意给定的范畴都可以通过Yoneda引理嵌入到一个函子范畴,而函子范畴具有比原范畴更好的性质。本文证明了Abel范畴的recollement可以自然诱导两类函子范畴的recollment.应用到k-线性范畴,得到k.线性Abel范畴的recollement可以自然诱导其模范畴的recollement. 相似文献
6.
L-Fuzzy子环的L-Fuzzy同态的刻画 总被引:2,自引:1,他引:1
给出L-fuzzy子环的L-fuzzy同态和L-fuzzy子环的L-fuzzy模的L-fuzzy同构的一种新刻画。 相似文献
7.
本文我们定义复数域$C$上一般线性李代数${\rm gl}_n$ BGG 范畴的若干子范畴及其上的投射函子,利用这些子范畴和投射函子范畴化了$D_4$型李代数包络代数旋模的$n$-次张量积. 相似文献
8.
本文给出L-fuzzy N-收敛空间的定义,讨论L-fuzzy N-收敛空间范畴(L-fuzzyN-收敛空间和它们之间的连续映射构成的范畴)的若干范畴的性质,并且证明它的一个子范畴同构与L-fuzzy拓扑空间范畴. 相似文献
9.
在弱Hopf群余代数情形中,讨论了一簇从弱Doi-Hopf群模范畴到某个代数上的模范畴忘却函子的可分性,诱导出弱Doi-Hopf群模数据的正规化积分概念,证明了正规化积分存在性是忘却函子可分的判别准则.所得结果在弱量子Yetter-Drinfel'd群模范畴及弱相对Hopf群模范畴中有应用价值. 相似文献
10.
文[1]引进了左R-n模范畴_RM_n~1,将Hom函子推扩到_RM_n~l上,且讨论了它的拟正合性。在模范畴中,张量函子与Hom函子一样是一个重要的函子。文[2]企图在_RM_n~l上建立相应的张量积,并证明张量函子M_n~:AG_(rn)→_RM_n~l与Hom函子Hom(M_):AG_(rn)′→_RM_n~l为伴随对。但其构造的交换自由n-群仅对满足(E)条件的交换n-群具有泛性,故其张量积亦只是 相似文献
11.
鉴于L-fuzzy集在理论上的重要性和应用上的广泛性,旨在建立L-fuzzy集理论的范畴基础与它的层表示,提出完备范畴中对象上的格值结构概念,这一概念是L-fuzzy结构在范畴层面上的提升,进一步提出完备范畴上格值结构提升范畴概念,证明了在集合范畴中L-fuzzy结构与格值结构是同构的.以集层、群层、环层和左R-模层以及Grothendieck层等概念为基础,提出完备范畴中对象上的层结构以及完备范畴上层结构提升范畴概念,证明了在集合范畴中L-fuzzy结构与层结构也是同构的. 相似文献
12.
本文构造了在完备格上模糊集范畴.利用极小扩展原则和范畴的性质,获得了函子Uα构成集合范畴上的模结构,推广了P.Eklund的结论. 相似文献
14.
本文在L—fuzzy模范畴中,建立了相应的张量积,给出了它的结构性、存在性与唯一性定理,并讨论了张量函子与Hom函子的伴随性。所得结果为通常张量积的“良好推广”(goodextension)。 相似文献
15.
16.
17.
18.
19.
《数学的实践与认识》2015,(11)
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子. 相似文献
20.
<正> 我们为了今后的需要想弄清拓扑代数上的拓扑模构成什么性质的范畴,以及在这种范畴上是否能建立同调代数的基本函子.[8]中讨论了在拓扑模范畴上建立 E_xt~n 与 Torn的问题,但他使用的是相对范畴,要求正合序列(?)-分裂,还有些数学工作者在讨论 Banach模时(例见[12],[13])也要加上类似的条件.但这种条件似乎不太自然.Palamodor 在[15]中引入了半 abel 范畴,但单靠半 abel 范畴本身的结构不足以得到 E_xt~n 函子,必须 相似文献