Hearts of cotorsion pairs on extriangulated categories are abelian categories. On the other hand, hearts of twin cotorsion pairs are not always abelian. They were shown to be semi-abelian by Liu and Nakaoka. Moreover, Hassoun and Shah proved that they are quasi-abelian under certain conditions. In this article, we first show that the heart of any twin cotorsion pair has a largest exact category structure and is always quasi-abelian. We also provide a sufficient and necessary condition for the heart of a twin cotorsion pair being abelian. Then by using the results we have got, we investigate the almost split sequences in the hearts of twin cotorsion pairs. Finally, as an application, we show that a Krull–Schmidt, Hom-finite triangulated category has a Serre functor whenever it has a cluster tilting object.

In this paper, we prove that the lower triangular matrix category $\Lambda =\left [ \begin{smallmatrix} \mathcal{T}&0\\ M&\mathcal{U} \end{smallmatrix} \right ]$, where $\mathcal{T}$ and $\mathcal{U}$ are $\textrm{Hom}$-finite, Krull–Schmidt $K$-quasi-hereditary categories and $M$ is an $\mathcal{U}\otimes _K \mathcal{T}^{op}$-module that satisfies suitable conditions, is quasi-hereditary. This result generalizes the work of B. Zhu in his study on triangular matrix algebras over quasi-hereditary algebras. Moreover, we obtain a characterization of the category of the $_\Lambda \Delta$-filtered $\Lambda$-modules.

The main theme of this paper is to study $\tau $-tilting subcategories in an abelian category $\mathscr {A}$ with enough projective objects. We introduce the notion of $\tau $-cotorsion torsion triples and investigate a bijection between the collection of $\tau $-cotorsion torsion triples in $\mathscr {A}$ and the collection of support $\tau $-tilting subcategories of $\mathscr {A}$, generalizing the bijection by Bauer, Botnan, Oppermann, and Steen between the collection of cotorsion torsion triples and the collection of tilting subcategories of $\mathscr {A}$. General definitions and results are exemplified using persistent modules. If $\mathscr {A}=\mathrm{Mod}\mbox {-}R$, where R is a unitary associative ring, we characterize all support $\tau $-tilting (resp. all support $\tau ^-$-tilting) subcategories of $\mathrm{Mod}\mbox {-}R$ in terms of finendo quasitilting (resp. quasicotilting) modules. As a result, it will be shown that every silting module (resp. every cosilting module) induces a support $\tau $-tilting (resp. support $\tau ^{-}$-tilting) subcategory of $\mathrm{Mod}\mbox {-}R$. We also study the theory in $\mathrm {Rep}(Q, \mathscr {A})$, where Q is a finite and acyclic quiver. In particular, we give an algorithm to construct support $\tau $-tilting subcategories in $\mathrm {Rep}(Q, \mathscr {A})$ from certain support $\tau $-tilting subcategories of $\mathscr {A}$.

Let $\mathcal{A}$ be a locally noetherian Grothendieck category. We classify all full subcategories of $\mathcal{A}$ which are thick and closed under taking arbitrary direct sums and injective envelopes by injective spectrum. This result gives a generalization from the commutative noetherian ring to the locally noetherian Grothendieck category.

This paper is devoted to the study of generalized tilting theory of functor categories in different levels. First, we extend Miyashita’s proof (Math Z 193:113–146,1986) of the generalized Brenner–Butler theorem to arbitrary functor categories $\mathop{\textrm{Mod}}\nolimits\!(\mathcal{C})$ with $\mathcal{C}$ an annuli variety. Second, a hereditary and complete cotorsion pair generated by a generalized tilting subcategory $\mathcal{T}$ of $\mathop{\textrm{Mod}}\nolimits \!(\mathcal{C})$ is constructed. Some applications of these two results include the equivalence of Grothendieck groups $K_0(\mathcal{C})$ and $K_0(\mathcal{T})$, the existences of a new abelian model structure on the category of complexes $\mathop{\textrm{C}}\nolimits \!(\!\mathop{\textrm{Mod}}\nolimits\!(\mathcal{C}))$, and a t-structure on the derived category $\mathop{\textrm{D}}\nolimits \!(\!\mathop{\textrm{Mod}}\nolimits \!(\mathcal{C}))$.

We prove that the derived categories of abelian categories have unique enhancements—all of them, the unbounded, bounded, bounded above and bounded below derived categories. The unseparated and left completed derived categories of a Grothendieck abelian category are also shown to have unique enhancements. Finally, we show that the derived category of complexes with quasi-coherent cohomology and the category of perfect complexes have unique enhancements for quasi-compact and quasi-separated schemes.

We show that the dimer algebra of a connected Postnikov diagram in the disc is bimodule internally $3$ -Calabi–Yau in the sense of the author’s earlier work [43]. As a consequence, we obtain an additive categorification of the cluster algebra associated to the diagram, which (after inverting frozen variables) is isomorphic to the homogeneous coordinate ring of a positroid variety in the Grassmannian by a recent result of Galashin and Lam [18]. We show that our categorification can be realised as a full extension closed subcategory of Jensen–King–Su’s Grassmannian cluster category [28], in a way compatible with their bijection between rank $1$ modules and Plücker coordinates.

Building on the embedding of an n-abelian category $\mathscr {M}$ into an abelian category $\mathcal {A}$ as an n-cluster-tilting subcategory of $\mathcal {A}$ , in this paper, we relate the n-torsion classes of $\mathscr {M}$ with the torsion classes of $\mathcal {A}$ . Indeed, we show that every n-torsion class in $\mathscr {M}$ is given by the intersection of a torsion class in $\mathcal {A}$ with $\mathscr {M}$ . Moreover, we show that every chain of n-torsion classes in the n-abelian category $\mathscr {M}$ induces a Harder–Narasimhan filtration for every object of $\mathscr {M}$ . We use the relation between $\mathscr {M}$ and $\mathcal {A}$ to show that every Harder–Narasimhan filtration induced by a chain of n-torsion classes in $\mathscr {M}$ can be induced by a chain of torsion classes in $\mathcal {A}$ . Furthermore, we show that n-torsion classes are preserved by Galois covering functors, thus we provide a way to systematically construct new (chains of) n-torsion classes.

Extriangulated categories were introduced by Nakaoka and Palu to give a unification of properties in exact categories and extension-closed subcategories of triangulated categories. A notion of tilting pairs in an extriangulated category is introduced in this paper. We give a Bazzoni characterization of tilting pairs in this setting. We also obtain the Auslander–Reiten correspondence of tilting pairs which classifies finite $\mathcal {C}$-tilting subcategories for a certain self-orthogonal subcategory $\mathcal {C}$ with some assumptions. This generalizes the known results given by Wei and Xi for the categories of finitely generated modules over Artin algebras, thereby providing new insights in exact and triangulated categories.

This paper focuses on recollements and silting theory in triangulated categories. It consists of two main parts. In the first part a criterion for a recollement of triangulated subcategories to lift to a torsion torsion-free triple (TTF triple) of ambient triangulated categories with coproducts is proved. As a consequence, lifting of TTF triples is possible for recollements of stable categories of repetitive algebras or self-injective finite length algebras and recollements of bounded derived categories of separated Noetherian schemes. When, in addition, the outer subcategories in the recollement are derived categories of small linear categories the conditions from the criterion are sufficient to lift the recollement to a recollement of ambient triangulated categories up to equivalence. In the second part we use these results to study the problem of constructing silting sets in the central category of a recollement generating the t-structure glued from the silting t-structures in the outer categories. In the case of a recollement of bounded derived categories of Artin algebras we provide an explicit construction for gluing classical silting objects.

There are well-known identities involving the Ext bifunctor, coproducts, and products in AB4 abelian categories with enough projectives. Namely, for every such category \[\mathcal{A}\], given an object X and a set of objects \[{\{ {{\text{A}}_{\text{i}}}\} _{{\text{i}} \in {\text{I}}}}\], an isomorphism \[Ext_\mathcal{A}^{\text{n}}({ \oplus _{{\text{i}} \in {\text{I}}}}{{\text{A}}_{\text{i}}},{\text{X}}) \cong \prod\nolimits_{{\text{i}} \in {\text{I}}} {Ext_\mathcal{A}^{\text{n}}({{\text{A}}_{\text{i}}},{\text{X}})} \] can be built, where \[Ex{t^{\text{n}}}\] is the nth derived functor of the Hom functor. The goal of this paper is to show a similar isomorphism for the nth Yoneda Ext, which is a functor equivalent to \[Ex{t^{\text{n}}}\] that can be defined in more general contexts. The desired isomorphism is constructed explicitly by using colimits in AB4 abelian categories with not necessarily enough projectives nor injectives, extending a result by Colpi and Fuller in [8]. Furthermore, the isomorphisms constructed are used to characterize AB4 categories. A dual result is also stated.

For each recollement of triangulated categories, there is an epivalence between the middle category and the comma category associated with a triangle functor from the category on the right to the category on the left. For a morphic enhancement of a triangulated category $\mathcal {T}$, there are three explicit ideals of the enhancing category, whose corresponding factor categories are all equivalent to the module category over $\mathcal {T}$. Examples related to inflation categories and weighted projective lines are discussed.

We extend the classical notion of standardly stratified k-algebra (stated for finite dimensional k-algebras) to the more general class of rings, possibly without 1, with enough idempotents. We show that many of the fundamental results, which are known for classical standardly stratified algebras, can be generalized to this context. Furthermore, new classes of rings appear as: ideally standardly stratified and ideally quasi-hereditary. In the classical theory, it is known that quasi-hereditary and ideally quasi-hereditary algebras are equivalent notions, but in our general setting, this is no longer true. To develop the theory, we use the well-known connection between rings with enough idempotents and skeletally small categories (ringoids or rings with several objects).

Cluster categories and cluster algebras encode two dimensional structures. For instance, the Auslander–Reiten quiver of a cluster category can be drawn on a surface, and there is a class of cluster algebras determined by surfaces with marked points.

Cluster characters are maps from cluster categories (and more general triangulated categories) to cluster algebras. They have a tropical shadow in the form of so-called tropical friezes, which are maps from cluster categories (and more general triangulated categories) to the integers.

This paper will define higher dimensional tropical friezes. One of the motivations is the higher dimensional cluster categories of Oppermann and Thomas, which encode (d + 1)-dimensional structures for an integer d ⩾ 1. They are (d + 2)-angulated categories, which belong to the subject of higher homological algebra.

We will define higher dimensional tropical friezes as maps from higher cluster categories (and more general (d + 2)-angulated categories) to the integers. Following Palu, we will define a notion of (d + 2)-angulated index, establish some of its properties, and use it to construct higher dimensional tropical friezes.

We investigate the assumptions under which a subclass of flat quasicoherent sheaves on a quasicompact and semiseparated scheme allows us to ‘mock’ the homotopy category of projective modules. Our methods are based on module-theoretic properties of the subclass of flat modules involved as well as their behaviour with respect to Zariski localizations. As a consequence we get that, for such schemes, the derived category of flat quasicoherent sheaves is equivalent to the derived category of very flat quasicoherent sheaves. If, in addition, the scheme satisfies the resolution property then both derived categories are equivalent to the derived category of infinite-dimensional vector bundles. The equivalences are inferred from a Quillen equivalence between the corresponding models.

An example of a cocomplete abelian category that is not complete is constructed.

Let Φ be a finite-dimensional algebra over a field k. Kleiner described the Auslander–Reiten sequences in a precovering extension closed subcategory ${\rm {\cal X}}\subseteq {\rm mod }\,\Phi $. If $X\in \mathcal {X}$ is an indecomposable such that ${\rm Ext}_\Phi ^1 (X,{\rm {\cal X}})\ne 0$ and $\zeta X$ is the unique indecomposable direct summand of the $\mathcal {X}$-cover $g:Y\to D\,{\rm Tr}\,X$ such that ${\rm Ext}_\Phi ^1 (X,\zeta X)\ne 0$, then there is an Auslander–Reiten sequence in $\mathcal {X}$ of the form

$${\rm \epsilon }:0\to \zeta X\to {X}^{\prime}\to X\to 0.$$

${\rm En}{\rm d}_\Phi (X)$

$$\delta :0\to Y\to {Y}^{\prime}\buildrel \eta \over \longrightarrow X\to 0$$

$\mathcal {X}$

${\rm mod}\,\Phi $

In this paper, we give higher-dimensional generalizations of this. Let $d\geq 1$ be an integer. A d-cluster tilting subcategory ${\rm {\cal F}}\subseteq {\rm mod}\,\Phi $ plays the role of a higher ${\rm mod}\,\Phi $. Such an $\mathcal {F}$ is a d-abelian category, where kernels and cokernels are replaced by complexes of d objects and short exact sequences by complexes of d + 2 objects. We give higher versions of the above results for an additive ‘d-extension closed’ subcategory $\mathcal {X}$ of $\mathcal {F}$.

Let $R$ be a ring and $T$ be a good Wakamatsu-tilting module with $S=\text{End}(T_{R})^{op}$. We prove that $T$ induces an equivalence between stable repetitive categories of $R$ and $S$ (i.e., stable module categories of repetitive algebras $\hat{R}$ and ${\hat{S}}$). This shows that good Wakamatsu-tilting modules seem to behave in Morita theory of stable repetitive categories as that tilting modules of finite projective dimension behave in Morita theory of derived categories.

The notion of mutation pairs of subcategories in an n-abelian category is defined in this paper. Let ${\cal D} \subseteq {\cal Z}$ be subcategories of an n-abelian category ${\cal A}$. Then the quotient category ${\cal Z}/{\cal D}$ carries naturally an (n + 2) -angulated structure whenever $ ({\cal Z},{\cal Z}) $ forms a ${\cal D} \subseteq {\cal Z}$-mutation pair and ${\cal Z}$ is extension-closed. Moreover, we introduce strongly functorially finite subcategories of n-abelian categories and show that the corresponding quotient categories are one-sided (n + 2)-angulated categories. Finally, we study homological finiteness of subcategories in a mutation pair.

Balanced pairs appear naturally in the realm of relative homological algebra associated with the balance of right-derived functors of the Hom functor. Cotorsion triplets are a natural source of such pairs. In this paper, we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new characterization of abelian categories that have enough projectives and injectives in terms of the existence of complete hereditary cotorsion triplets. We also provide a short proof of the lack of balance for derived functors of Hom computed using flat resolutions, which extends the one given by Enochs in the commutative case.