T-余单子可分的等价条件

文章类似于A-上环(coring)给出T-余单子(comonad)的一些性质(这里A是代数,T是单子(monad)).首先定义了实(firm)单子等相关概念,其次研究了与Frobenius函子等价的两个命题,最后给出了与余单子可分等价的五个命题.     

单子和余单子的缠绕结构

研究单子和余单子的缠绕结构和缠绕模以及与代数和余代数的缠绕结构和缠绕模之间的关系,定义了余单子的类群元,得到了一些有意义的结论.最后构造了缠绕模范畴上的两个函子,并证明了它们是伴随函子.     

双交叉积与余循环变形

本文将证明一个双交叉积ＸＡ为ＸＡ的余循环变形，当且仅当存在到的一个 Ｍｍｏｎｏｉｄａｌ函子，当且仅当存在到的一个 Ｍｏｕｌｄａｌ函子．     

三角Hopf余模范畴上的线量余代数

在三角Hopf代数余模范畴上研究张量余代数，主要给出三角Hopf代数作模范畴上的张量余代数的结构。     

稳定范畴与三角等价

外三角范畴是三角范畴和正合范畴的推广,很多重要的结论都能统一在这个框架下.本文通过外三角范畴中的理想商实现了模型结构诱导的局部化商,即建立了这两种商范畴之间的三角等价.与此同时,也将此结果应用到Frobenius正合范畴、环R的同伦范畴和Gorenstein对象的稳定范畴.     

分次环与模范畴上的伴随函子

设 G是有限群 ,R是强 G-分次环 .本文证明了 R Re-与 Hom Re(R,- )都是从模范畴 R - mod到 Re- mod的“纯量”限制函子 F的伴随函子 ,并且两个函子 R Re-和Hom Re(R,- )是自然同构的 .     

函子范畴的等价

本文建立了函子范畴等价的Ｍｏｒｉｔａ理论．考虑的主要问题是ｍｏｄＣ何时等价于ｍｏｄＣ′及这些等价条件．同时定义了函子范畴的双模和函子张量积，并刻画了等价函子．     

强分次环与非分次模范畴

设R是强群G-分次环,日是G的指数有限的子群.本文讨论强分次环R上一般非分次模的一些性质.首先证明一个与非分次R-模和R(H)-子模有关的Maschke-type定理,然后证明从模范畴R(H)-mod到R-mod的函子HomR(H)(R,-)与R(?)R(H)-是一对自然同构的函子以及等价条件.     

两个相关代数上的一对同构模范畴

本文研究了Artin代数A与其子代数模范畴中反变有限子范畴之间的关系.利用范畴同构,获得了代数A上投射维数有限的子模范畴P∞(A)在有限生成的左A模范畴A-mod上反变有限的一个条件,推广了关于子范畴P∞(A)反变有限性的结果.     

广义Comma范畴的Recollement

本文研究广义Comma范畴上Recollement问题.利用Abel范畴上Recollement及其伴随函子,诱导出广义Comma范畴,并利用比较函子构造出广义Comma范畴上的Recollement.这些结果推广了一般Abel范畴上的Recollement,丰富了Comma范畴研究.     

三角范畴和Abel范畴的Torsion理论

本文主要研究了三角范畴在Abel化过程中torsion理论的保持问题.利用三角范畴的coherent函子范畴是Abel范畴,证明了T的coherent函子范畴A(T)是A(D)的thick子范畴;若(X,Y)是D的torsion理论,且D=X*Y的扩张是可裂的,那么(A(X),A(Y))是A(D)的torsion理论.     

三角范畴的coherent函子范畴的recollement

文章研究了三角范畴D及其coherent函子范畴A(D)的recollement之间的关系.利用D的recollement可以诱导A(D)的prerecollement,文章证明了该prerecollement是recollement的充分必要条件是D的recollement是可裂的;并且D的recollement可以诱导A(D)的prerecollement.     

函子范畴上加性函子的一个表示

研究函子范畴ModC上加性函子的表示,把一个Abel群作成范畴ModC上的一个左C-模,构造出一个Hom函子和一个函子态射,证明了从函子范畴ModC到范畴Ab的任意变和为积的反变左正合可加函子都与某个Hom函子自然等价.所得结论在函子范畴上,推广了Watts定理.     

REDUCIBILITY IN SOME CATEGORIES OF PARTIAL RECURSIVE OPERATORS

We consider two categories with one object, namely the set of all partial functions of one variable from the set of natural numbers into itself; the morphisms are the partial recursive operators in one case, and certain continuous partial mappings in the other case. We show that these categories are recursion categories and we characterize the domains and the complete domains. Some observations are made on a notion of reducibility obtained by using the total morphisms of these categories, and, subsequently, the general recursive operators.     

凸体间几种仿射不变距离的等价性与估计

本文研究了凸体间(绝对)Banach-Mazur距离各种不同的定义,证明了它们的等价性;给出了Banach-Mazur距离与绝对Banach-Mazur距离相等的一个充分条件;最后研究了凸体极体间的BanachMazur距离,并对特殊凸体对证明了其Banach-Mazur距离与其某一对极体间的Banach-Mazur距离相等.文中结果为Banach-Mazur距离最佳上界的估计提供了进一步研究的基础.     

单纯形上加权K—泛函与光滑模的等价性及其应用

本文首先讨论了高维单纯形上一类加权Ｋ－泛函与光滑模的等价性。然后作为应用，给出了高维单纯形上多元Ｂｅｒｎｓｔｅｉｎ算子加权逼近的特征刻划。     

SD型图簇的伴随多项式的因式分解及色性分析

我们通过研究S^D型图簇的伴随多项式的因式分解，证明了这类图簇的补图的非色唯一性．并得到了这些补图的色等价图的一系列结构性质。     

双模范畴间同构态射的构造

本文研究了双模范畴上的同构态射.利用代数上常用的构造方法,给出了模范畴R(C:T)和L(C:T)的定义及双模范畴TMC和TMCM之间的同构映射和证明过程,将代数上双模范畴的一些重要结论进行了推广.