Related papers: Generators versus projective generators in abelian…

An abelian category with arbitrary coproducts and a small projective generator is equivalent to a module category \cite{Mit}. A tilting object in a abelian category is a natural generalization of a small projective generator. Moreover, any…

We show that an abelian category can be exactly, fully faithfully embedded into a module category as the right perpendicular subcategory to a set of modules or module morphisms if and only if it is a locally presentable abelian category…

For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy…

To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we…

Let $\A$ be an abelian category having enough projective objects and enough injective objects. We prove that if $\A$ admits an additive generating object, then the extension dimension and the weak resolution dimension of $\A$ are identical,…

Tachikawa's second conjecture predicts that a finitely generated, orthogonal module over a finite-dimensional self-injective algebra is projective. This conjecture is an important part of the Nakayama conjecture. Our principal motivation of…

Let $\mathscr{A}$ be an abelian category having enough projective and injective objects, and let $\mathscr{T}$ be an additive subcategory of $\mathscr{A}$ closed under direct summands. A known assertion is that in a short exact sequence in…

For a Grothendieck category C which, via a Z-generating sequence (O(n))_{n in Z}, is equivalent to the category of "quasi-coherent modules" over an associated Z-algebra A, we show that under suitable cohomological conditions "taking…

Let $A$ be a virtually Gorenstein algebra of finite CM-type. We establish a duality between the subcategory of compact objects in the homotopy category of Gorenstein projective left $A$-modules and the bounded Gorenstein derived category of…

Let $R$ be a ring and Ch($R$) the category of chain complexes of $R$-modules. We put an abelian model structure on Ch($R$) whose homotopy category is equivalent to $K(Proj)$, the homotopy category of all complexes of projectives. However,…

Let $\mathcal{C}$ be a small category, $\mathfrak{A}$ be a precosheaf of unital $k$-algebras on $\mathcal{C}$ and $\mathfrak{M}$ be an $\mathfrak{A}$-bimodule. We introduce two new notions, namely, the Grothendieck construction…

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…

We characterize projective objects in the category of internal crossed modules within any semi-abelian category. When this category forms a variety of algebras, the internal crossed modules again constitute a semi-abelian variety, ensuring…

We show that the category of projective modules over a graded commutative ring admits a triangulation with respect to module suspension if and only if the ring is a finite product of graded fields and exterior algebras on one generator over…

We prove that an abelian category equipped with an ample sequence of objects is equivalent to the quotient of the category of coherent modules over the corresponding algebra by the subcategory of finite-dimensional modules. In the…

We consider the contraderived category of left contramodules over a right linear topological ring $\mathfrak R$ with a countable base of neighborhoods of zero. Equivalently, this is the homotopy category of unbounded complexes of projective…

In this paper we introduce compatible cleft extensions of abelian categories, and we prove that if $(\mathcal{B},\mathcal{A}, e,i,l)$ is a compatible cleft extension, then both the functor $l$ and the left adjoint of $i$ preserve Gorenstein…

An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…

Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…

Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact…