纯奇点范畴中的Buchweitz定理

我们定义纯奇点范畴D_(psg)~b(R)为有界纯导出范畴D_(pur)~b(R)与纯投射模构成的有界同伦范畴K~b(■)的Verdier商,得到了纯奇点范畴D_(psg)~b(R)三角等价于相对纯投射模的Gorenstein范畴的稳定范畴■的一个充分必要条件.同时,还给出三角等价D_(psg)~b(R)≌D_(psg)~b(S)的充分条件,这里R和S都是环.     

Free hypermodules: a categorical approach

Abstract

In category theory, the existence of free objects is very important, especially free modules that play an important role in homological algebra. Although algebraic hyperstructures are a natural extension of algebraic structures, due to the major difference between them, study-free objects in algebraic hyperstructures become very difficult. In this article, we provide a categorical approach for the construction of free hypermodules. In fact, by considering appropriate morphisms between hypermodules, we characterize free hypermodules from three different perspectives.     

Chase’s lemma and its context

Chase’s lemma provides a powerful tool for translating properties of (co)products in abelian categories into chain conditions. This note discusses the context in which the lemma is used, making explicit what is often neglected in the literature because of its technical nature.     

Bounded complexes of cotorsion sheaves

We provide a necessary and su?cient condition which ensure that every flat quasi-coherent sheaf has finite cotorsion dimension. Also, we will show that every locally noetherian scheme with a dualizing complex has this requirement.     

On categories associated to a Quasi-Hopf algebra

A quasi-Hopf algebra H can be seen as a commutative algebra A in the center 𝒵(H-Mod) of H-Mod. We show that the category of A-modules in 𝒵(H-Mod) is equivalent (as a monoidal category) to H-Mod. This can be regarded as a generalization of the structure theorem of Hopf bimodules of a Hopf algebra to the quasi-Hopf setting.     

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

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