在Martin－Lof类型论中添加判断的新形式

木文对于添加于Ｍａｒｔｉｎ－Ｌｏｆ类型论的四种新形式判断给出完整的描述．首先列出这些新判断形式的一般规则，然后证明带一个前提的假设判断可由这些新型判断替代，最后，重新作出笛卡儿积的消去和相等性规则使它们有与其他类型相同的式样而且证明新旧规则是等价的．     

拟连续Domain及其子范畴间的伴随关系

基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL（分别地,有界完备连续Domain范畴CBD）是拟连续Domain范畴QCONT（分别地,Coherent拟连续 Domain范畴QCCOH）的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴.     

E*-酉范畴逆半群的一个表示定理

本文,我们对带零逆半群定义了0-对偶预同态的概念,并且用0-对偶预同态刻画了E*-酉范畴逆半群。     

代数$\Omega$-范畴的等价范畴

本文基于$\Omega$-范畴研究了(连续) $\mathcal{I}$-余万备$\Omega$-范畴的一些性质. 我们给出了双完备$\Omega$-范畴和逼近双模的概念并讨论了它们的性质, 证明了任何$\mathcal{I}$-余万备$\Omega$-范畴都是双完备$\Omega$-范畴. 得到了代数$\Omega$-范畴范畴等价于双完备$\Omega$-范畴.     

模范畴与余模范畴之间的等价

本文研究了环上模范畴与余环上余模范畴.运用可裂叉与余可分余环的性质,得到了以上两个范畴等价的一些充分条件,从而推广了文献[6]中的一些结果.

Abstract：

In this article,we consider the categories of modules over rings and categories of comodules over corings.By properties of split forks and coseparable corings,we get some sufficient conditions for the equivalence between above two categories.As a consequence,we generalize some results in[6].     

单项代数的一个注记

本文研究单项代数上模的同调性质.应用Huisgen-Zimmermann的著名结果,分别给出了由一条道路生存的投射模及好模存在的充分条件.     

Gorenstein正则环、奇点范畴和Ding模

本文证明了任意环的整体Ding投射维数和整体Ding内射维数一致,研究了奇点范畴和相对于Ding模的稳定范畴间的关系,并刻画了Gorenstein (正则)环以及环的整体维数的有限性.     

奇点模型范畴的Quillen等价

令R是左Gorenstein环.我们构造了奇点反导出模型范畴和奇点余导出模型范畴(见文[Models for singularity categories,Adv Math.,2014,254:187-232])之间的Quillen等价.作为应用,给出了投射,内射模的正合复形的同伦范畴之间的一个具体的等价■.     

双单子分配律的R-矩阵

本文讨论了双单子分配律的表示及其R-矩阵结构.设F和G是给定的双单子,刻画了单子双模范畴,并给出了其为辫子范畴的充要条件,由此构造了量子YangBaxter方程的一组新解系.     

扩张代数的recollement

A是任意域k上的有限维代数. 证明了: 若无界导出模范畴D^-(Mod-A) 允许有关于有限维k-代数B和C的无界导出模范畴 D^-(Mod-B) 和D^-(Mod-C) 的对称的recollement 则A的平凡扩张代数T(A)的无界导出模范畴 也允许有如下对称的recollement: