Related papers: $n$-Exact categories arising from $(n+2)$-angulate…

We define the Grothendieck group of an $n$-exangulated category. For $n$ odd, we show that this group shares many properties with the Grothendieck group of an exact or a triangulated category. In particular, we classify dense complete…

Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…

Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.

This paper is the first part of a series that investigates the existence of $n$-exact structures on idempotent complete additive categories for positive integers $n$. It is shown that every idempotent complete additive category has a unique…

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure…

Several important types of categories have been shown to be both exact and coexact (in the sense of Barr). The first type consists of abelian categories, which due to their self-dual definition, can be seen to be both exact and coexact by…

This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented…

We define $n$-angulated categories by modifying the axioms of triangulated categories in a natural way. We show that Heller's parametrization of pre-triangulations extends to pre-$n$-angulations. We obtain a large class of examples of…

We prove a stronger version of the octahedral axiom in a pre-triangulated category. The proof uses a new lemma about exact sequences in pointed additive categories which is based on a weak converse of the snake lemma.

One-sided exact categories appear naturally as instances of Grothendieck pretopologies. In an additive setting they are given by considering the one-sided part of Keller's axioms defining Quillen exact categories. We study one-sided exact…

We define the notion of right $n$-angulated category, which generalizes the notion of right triangulated category. Let $\mathcal{C}$ be an additive category or $n$-angulated category and $\mathcal{X}$ a covariantly finite subcategory, we…

We fill a gap in the literature regarding `transport of structure' for (n+2)-angulated, n-exact, n-abelian and n-exangulated categories appearing in (classical and higher) homological algebra. As an application of our main results, we show…

In this paper, we study the ideal approximation theory associated to almost $n$-exact structures in the $n$-exangulated category. The notions of $n$-ideal cotorsion pairs and $n$-$\mathbb{F}$-phantom morphisms are introduced and studied. In…

We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma. We briefly discuss exact functors,…

We define novel fully combinatorial models of higher categories. Our definitions are based on a connection of higher categories to "directed spaces". Directed spaces are locally modelled on manifold diagrams, which are stratifications of…

Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an ${\rm Ext}$-finite, Krull-Schmidt and $k$-linear $n$-exangulated category with $k$ a commutative artinian ring. In this note, we define two additive subcategories $\mathscr{C}_r$ and…

We define mutation pair in an n-angulated category and prove that given such a mutation pair, the corresponding quotient category carries a natural n-angulated structure. This result generalizes a theorem of Iyama-Yoshino in classical…

Suppose $(\mathcal{C},\mathbb{E},\mathfrak{s})$ is an $n$-exangulated category. We show that the idempotent completion and the weak idempotent completion of $\mathcal{C}$ are again $n$-exangulated categories. Furthermore, we also show that…

We propose definitions of regular and exact (virtual) double categories, proving a number of results which parallel many basic results in the theory of regular and exact categories. We show that any regular virtual double category admits a…

Let $\mathcal{A}$ be an additive category and let $T\colon \mathcal{A}\rightarrow \mathcal{A}$ be an additive functor equipped with a natural transformation $\omega\colon \mathrm{Id}_{\mathcal{A}}\rightarrow T$. We prove that the homotopy…