共查询到20条相似文献,搜索用时 15 毫秒
1.
从已知的2-范畴S出发,构造两类2-范畴R和E,证明了S中的拉回,R的终对象和E中的积三者相互确定,从而给出2-范畴中拉回的等价定义. 相似文献
2.
在Abelian范畴中,如果f:A→B和g:B→C是两个态射,则存在(1)Im f∩Ker g=f(Ker gf);(2)Im f+Ker g=g-1(Im gf).虽然在拉回正合范畴(C,E)中一般没有像的概念,但也有与(1)(2)性质相类似的结论,这就是Ker f→Ker gf→Ker g×BCoim f和Ker g→Ker gЦDCoim f→Coim gf均为E-短正合列,其中D=Ker g×BCoim gf. 相似文献
3.
陈娟 《厦门大学学报(自然科学版)》2013,(5):600-602
双线性扩张范畴C=A[M,N,φ,ψ]B的模范畴C Mod是双扩张代数的自然推广,且等价于四元组范畴C T.作为应用,给出了2-循环复形范畴与特殊的双扩张范畴等价的证明,以及由范畴A或B中的某些AR-序列可得C T中的部分AR序列. 相似文献
4.
利用经典代数中模的定义,给出模的范畴化定义2-模.2-模首先是一个范畴,有对称2-群结构(加法)和一个2-环作用(作用),并且这些作用在同构意义下满足模的准则.另外本文还给出2-模的应用并证明了2-环的一个表示与这个2-环上的2-模是一一对应的,这种对应类似经典代数中环的表示. 相似文献
5.
李富民 《陕西师范大学学报(自然科学版)》1992,(3)
用 Carleson 矩形 s_z={ω∈D ≥|z|,|argω—argz|<1—|z|}(z∈D)定义了空间 BMO′ (D)={f∈L~2(D,dA) |s_z|~(-1) |f(ω)—f |~2dA(ω)<∞}和VMO′,(D)={f∈L~2(D,dA)(?)|s_z|~(-1) |f(ω)—f |~2dA(ω)=0},证明了它们分别与 Zhu KeHe 定义和研究的 BMO (D)和 VMO (D)等价从而给出 Bergman空间上 Hankel 算子有界性与紧性的一个新刻画;HH是有界的充要条件是f∈BMO′ (D),HfHf-是紧的充要条件是 f∈VMO′(D). 相似文献
6.
7.
通过构造范畴等价函子,证明了由正向极限定义的模范畴的商范畴与用分式等价类构成的局部化范畴是等价的.应用该方法,证明了Abel范畴与三角范畴中的相关结论. 相似文献
8.
考虑双单子Smash积的表示范畴. 设F和G是给定的双单子, 利用2 范畴方法讨论其Smash积GF上的张量结构, 证明了GF的双单子结构与其表示范畴上的张量结构是等价的, 并给出了其表示范畴做成张量范畴的一系列充要条件. 相似文献
9.
林记 《江汉大学学报(自然科学版)》2015,(1):27-30
以三角范畴的八面体公理为基础,研究了三角范畴的(n+2)-角的平移性质。当三角范畴T存在一个(n+2)-角时,利用数学归纳法证明了T的(n+2)-角平移后还是(n+2)-角。 相似文献
10.
周思中 《兰州大学学报(自然科学版)》2008,44(1):118-121
设G是一个图,f是定义在V(G)上的整数值函数.证明了每个(0,mf-m 1)-图G有一个(0,f)-因子分解2-正交于任意2m-子图. 相似文献
11.
通过定义d-cluster范畴上的相对d-rigid子范畴, 证明了在d-cluster范畴上, 对于给定的d-rigid子范畴, 其对应的相对d-rigid子范畴和rigid子范畴等价. 相似文献
12.
通过定义d-cluster范畴上的相对d-rigid子范畴, 证明了在d-cluster范畴上, 对于给定的d-rigid子范畴, 其对应的相对d-rigid子范畴和rigid子范畴等价. 相似文献
13.
孙叔豪 《四川大学学报(自然科学版)》1988,(3)
本文从任一给定LocaleA,构造出一个紧正则极不连通Locale J(A),且证明了:(1)A是J(A)的稠子locale当且仅当A是正则极不连通(2)对是范畴Loc到子范畴KREDLOC的函子(3)J是子范畴KREDLOC到范畴EDLOC的包含函子的左伴随函子,(即KREDLOC是范畴EDLOC的可反射子范畴。 相似文献
14.
设S为有单位元1的半群,引入并讨论了自由半群作用的Galois盖和斜半群作用范畴的概念及性质,证明了自由半群作用范畴的商范畴与斜半群作用范畴是等价的. 相似文献
15.
李进民 《太原师范学院学报(自然科学版)》2004,(3)
以二硫代乙二酰胺、ω一溴代苯乙酮为起始原料 ,用无水乙醇作溶剂合成了 4,4′-二苯基 - 2 ,2′-双噻唑 .m.p.2 1 6.9℃~ 2 1 7.1℃ ,收率 5 7.5 % .IR,νmax( cm- 1 ) :31 1 1 (芳杂环 C- H) ,30 60(芳氢 ) ,1 5 97,1 5 5 8,1 5 4 1 ,1 5 0 8,1 474,1 44 3(苯环骨架 ,噻唑环骨架振动 ) ,939,742 ,692 (苯环单取代 ) .后经磺化 ,中和生成 4,4′-二苯基 - 2 ,2′-双噻唑 - 5 ,5′-二磺酸钠 .m.p.大于 30 0℃ ,收率 44% .IR,νmax( cm- 1 ) :1 2 36,1 1 84,1 1 2 6,1 0 4 7( R- SO3- ) .1 HNMR,δ( ppm) :7.63,7.5 6,7.5 1 (苯 H) 相似文献
16.
负DG范畴的导出范畴上的t结构 总被引:2,自引:2,他引:0
傅昌建 《四川大学学报(自然科学版)》2009,46(1):39-43
作者给出了负微分分次范畴A的导出范畴D(A)上的一个自然t-结构,并证明了D(A)与由该t-结构的heart生成的关于同构、直和与直积封闭的三角满子范畴一致,进一步地,如果A还是同调有界的,那么该heart为D(A)的生成子的集合. 相似文献
17.
通过定义Gabriel单子来刻画模范畴的商范畴与局部化范畴,证明了Gabriel单子诱导的像和余像是等价的;其像为模范畴的局部化范畴,该局部化范畴等价于Gabriel单子确定的Kleisli范畴;其余像为模范畴的商范畴,该商范畴等价于Eilengerg-Moore范畴。 相似文献
18.
张峰慧 《太原师范学院学报(自然科学版)》2004,(3)
文章对用测节器测定光具组基点实验中所作 d<( f′1 + f′2 )的限定 ,从理论上证明了其不妥性 ,并给出了正确的限定关系式 . 相似文献
19.
给出拉回、集体拉回、I-拉回、广义拉回的第六等价定义,即从可表函子角度定义,并用此定义证明了函子范畴的一个有趣结果. 相似文献
20.
设C是k-线性范畴,M是C-C双模,定义k-线性平凡扩张范畴C′=C■M,首先证明其为平凡扩张代数的自然推广,其次证明左C′-模范畴等价于左C-模范畴关于张量函子MC-的右平凡扩张范畴(C-Mod)■(MC-),推广了经典的平凡扩张代数的模范畴理论.并将此结论应用到k-线性三角矩阵范畴,重新刻画其模范畴的结构. 相似文献