Related papers: Intermediate categories for proper abelian subcate…

Let X and Y be complex smooth projective varieties, and D^b(X) and D^b(Y) the associated bounded derived categories of coherent sheaves. Assume the existence of a triangulated category T which is admissible both in D^b(X) as in D^b(Y).…

We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category $\mathbf{A}$. We show that the free abelian category is amenable to…

We show that if a (not necessarily algebraic) triangulated category T contains an admissible hereditary abelian subcategory H, then we can lift the inclusion of H into T to a fully faithful triangle functor from the whole of the bounded…

Integral categories form a sub-class of pre-abelian categories whose systematic study was initiated by Rump in 2001. In the first part of this article we determine whether several categories of topological and bornological vector spaces are…

For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture…

Considering a (co)homology theory $\mathbb{T}$ on a base category $\mathcal{C}$ as a fragment of a first-order logical theory we here construct an abelian category $\mathcal{A}[\mathbb{T}]$ which is universal with respect to models of…

In an abelian category $\mathscr{A}$ with small ${\rm Ext}$ groups, we show that there exists a one-to-one correspondence between any two of the following: balanced pairs, subfunctors $\mathcal{F}$ of ${\rm Ext}^{1}_{\mathscr{A}}(-,-)$ such…

In this paper, we introduce the notation of monobricks in an extriangulated length category as a generalization of the semibricks. We prove that there is a bijection between monobricks and left Schur subcategories. Then we show that this…

We construct Nakayama functors on proper abelian subcategories of triangulated categories with a Serre functor using approximation theory. This, in turn, allows for the construction of Auslander-Reiten translates. As a result, we prove that…

This paper introduces the notion of extriangulated length categories, whose prototypical examples include abelian length categories and bounded derived categories of finite dimensional algebras with finite global dimension. We prove that an…

In an abelian category $\mathscr{A}$, we can generate torsion pairs from tilting objects of projective dimension $\leq 1$. However, when we look at tilting objects of projective dimension $2$, there is no longer a natural choice of an…

In this paper, we consider a kind of ideal quotient of an extriangulated category such that the ideal is the kernel of a functor from this extriangulated category to an abelian category. We study a condition when the functor is dense and…

We introduce $n$-abelian and $n$-exact categories, these are analogs of abelian and exact categories from the point of view of higher homological algebra. We show that $n$-cluster-tilting subcategories of abelian (resp. exact) categories…

We show that for a given exact category, there exists a bijection between semibricks (pairwise Hom-orthogonal set of bricks) and length wide subcategories (exact extension-closed length abelian subcategories). In particular, we show that a…

In the category of finitely generated modules over an artinian ring, we classify all the abelian exact subcategories closed under predecessors or, equivalently, all the split torsion pairs with torsion-free class closed under quotients.

A new proof of the classification for tensor ideal thick subcategories of the bounded derived category, and the stable category, of modular representations of a finite group is obtained. The arguments apply more generally to yield a…

Semi-abelian and finitely cocomplete homological categories are characterized in terms of four resp. three simple axioms, in terms of the basic categorical notions introduced in the first few chapters of MacLane's classical book. As an…

Suppose that $\mathcal{A}$ is an abelian category whose derived category $\mathcal{D}(\mathcal{A})$ has $Hom$ sets and arbitrary (small) coproducts, let $T$ be a (not necessarily classical) ($n$-)tilting object of $\mathcal{A}$ and let…

Let C be a subcategory of the category of finitely generated R-modules over a commutative noetheian ring R. We prove that, if C is closed under images and extensions (which we call an IE-closed subcategory), then C is closed under…

The stable module category of a selfinjective algebra is triangulated, but need not have any nontrivial $t$-structures, and in particular, full abelian subcategories need not arise as hearts of a $t$-structure. The purpose of this paper is…