2-范畴中拉回的等价定义

从已知的2-范畴S出发,构造两类2-范畴R和E,证明了S中的拉回,R的终对象和E中的积三者相互确定,从而给出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.     

双线性扩张范畴

双线性扩张范畴C=A[M,N,φ,ψ]B的模范畴C Mod是双扩张代数的自然推广,且等价于四元组范畴C T.作为应用,给出了2-循环复形范畴与特殊的双扩张范畴等价的证明,以及由范畴A或B中的某些AR-序列可得C T中的部分AR序列.     

2-环的表示

利用经典代数中模的定义,给出模的范畴化定义2-模.2-模首先是一个范畴,有对称2-群结构(加法)和一个2-环作用(作用),并且这些作用在同构意义下满足模的准则.另外本文还给出2-模的应用并证明了2-环的一个表示与这个2-环上的2-模是一一对应的,这种对应类似经典代数中环的表示.     

BMO_ (D)和VMO_ (D)的另一个刻画

用 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).     

n-拉回范畴的核

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

关于模范畴的商范畴与局部化

通过构造范畴等价函子,证明了由正向极限定义的模范畴的商范畴与用分式等价类构成的局部化范畴是等价的.应用该方法,证明了Abel范畴与三角范畴中的相关结论.     

双单子的Smash积

考虑双单子Smash积的表示范畴. 设F和G是给定的双单子, 利用2 范畴方法讨论其Smash积GF上的张量结构, 证明了GF的双单子结构与其表示范畴上的张量结构是等价的, 并给出了其表示范畴做成张量范畴的一系列充要条件.     

(n+2)-角的平移

以三角范畴的八面体公理为基础,研究了三角范畴的(n+2)-角的平移性质。当三角范畴T存在一个(n+2)-角时,利用数学归纳法证明了T的(n+2)-角平移后还是(n+2)-角。     

与任意图2-正交的(0,f)-因子分解

设G是一个图,f是定义在V(G)上的整数值函数.证明了每个(0,mf-m 1)-图G有一个(0,f)-因子分解2-正交于任意2m-子图.     

d‐Cl uste r 范畴上的相对 d‐Rigi d 子范畴

通过定义d-cluster范畴上的相对d-rigid子范畴, 证明了在d-cluster范畴上, 对于给定的d-rigid子范畴, 其对应的相对d-rigid子范畴和rigid子范畴等价.     

d-Cluster 范畴上的相对d-Rigid 子范畴

通过定义d-cluster范畴上的相对d-rigid子范畴, 证明了在d-cluster范畴上, 对于给定的d-rigid子范畴, 其对应的相对d-rigid子范畴和rigid子范畴等价.     

Locale的紧正则极不连通反射

本文从任一给定LocaleA,构造出一个紧正则极不连通Locale J(A),且证明了:(1)A是J(A)的稠子locale当且仅当A是正则极不连通(2)对是范畴Loc到子范畴KREDLOC的函子(3)J是子范畴KREDLOC到范畴EDLOC的包含函子的左伴随函子,(即KREDLOC是范畴EDLOC的可反射子范畴。     

自由半群作用范畴的Galois盖与斜半群作用范畴

设S为有单位元1的半群,引入并讨论了自由半群作用的Galois盖和斜半群作用范畴的概念及性质,证明了自由半群作用范畴的商范畴与斜半群作用范畴是等价的.     

用作桥联配体的4,4′-二苯基-2,2′-双噻唑-5,5′-二磺酸钠的合成

以二硫代乙二酰胺、ω一溴代苯乙酮为起始原料 ,用无水乙醇作溶剂合成了 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)     

Gabriel单子与模范畴的局部化

通过定义Gabriel单子来刻画模范畴的商范畴与局部化范畴,证明了Gabriel单子诱导的像和余像是等价的;其像为模范畴的局部化范畴,该局部化范畴等价于Gabriel单子确定的Kleisli范畴;其余像为模范畴的商范畴,该商范畴等价于Eilengerg-Moore范畴。     

负DG范畴的导出范畴上的t结构

作者给出了负微分分次范畴A的导出范畴D(A)上的一个自然t-结构,并证明了D(A)与由该t-结构的heart生成的关于同构、直和与直积封闭的三角满子范畴一致,进一步地,如果A还是同调有界的,那么该heart为D(A)的生成子的集合.     

在测定光具组基点实验中d<(f′1+f′2)的限定不妥

文章对用测节器测定光具组基点实验中所作 d<( f′1 + f′2 )的限定 ,从理论上证明了其不妥性 ,并给出了正确的限定关系式 .     

拉回的第六等价定义及其应用

给出拉回、集体拉回、I-拉回、广义拉回的第六等价定义,即从可表函子角度定义,并用此定义证明了函子范畴的一个有趣结果.     

k-线性平凡扩张范畴

设C是k-线性范畴,M是C-C双模,定义k-线性平凡扩张范畴C′=C■M,首先证明其为平凡扩张代数的自然推广,其次证明左C′-模范畴等价于左C-模范畴关于张量函子MC-的右平凡扩张范畴(C-Mod)■(MC-),推广了经典的平凡扩张代数的模范畴理论.并将此结论应用到k-线性三角矩阵范畴,重新刻画其模范畴的结构.