Related papers: Gabriel-Quillen embedding for $n$-exact categories

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…

In this paper we introduce $n\mathbb{Z}$-abelian and $n\mathbb{Z}$-exact categories by axiomatising properties of $n\mathbb{Z}$-cluster tilting subcategories. We study this categories and show that every $n\mathbb{Z}$-cluster tilting…

For an exact category we provide two constructions of an ambient category in which the initial category is resolving: In the derived category and in the Gabriel--Quillen embedding. For the first construction we describe a pre-aisle and its…

We introduce the notion of an $n$-exact dg-category. This notion provides a higher analogue of Chen's exact dg-category, in the sense that the case where $n$ equals 1 recovers exact dg-categories. We prove that, under a suitable vanishing…

We introduce the concept of a pseudo-cluster tilting subcategory from the viewpoint of the fact that the quotient of an exact category by a cluster tilting subcategory is an abelian category. We prove that the quotients in the case of…

We prove that some subquotient categories of exact categories are abelian. This generalizes a result by Koenig-Zhu in the case of (algebraic) triangulated categories. As a particular case, if an exact category B with enough projectives and…

In this survey article we propose the notion of a bound quiver for an exact category generalising the classical concept of the Gabriel quiver and its relation for a module category as certain ring extension. The notion is motivated by joint…

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…

We define tilting subcategories in arbitrary exact categories to archieve the following. Firstly: Unify existing definitions of tilting subcategories to arbitrary exact categories. Discuss standard results for tilting subcategories:…

In this paper, we study ideal approximation theory associated to almost $n$-exact structures in extension closed subcategories of $n$-angulated categories. For $n=3$, an $n$-angulated category is nothing but a classical triangulated…

This paper consists of three results on Frobenius categories: (1) we give sufficient conditions on when a factor category of a Frobenius category is still a Frobenius category; (2) we show that any Frobenius category is equivalent to an…

Using the Morita-type embedding, we show that any exact category with enough projectives has a realization as a (pre)resolving subcategory of a module category. When the exact category has enough injectives, the image of the embedding can…

For each positive integer $n$ we introduce the notion of $n$-exangulated categories as higher dimensional analogues of extriangulated categories defined by Nakaoka-Palu. We characterize which $n$-exangulated categories are $n$-exact in the…

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,…

In this paper, we obtain a non-abelian analogue of Lubkin's embedding theorem for abelian categories. Our theorem faithfully embeds any small regular Mal'tsev category $\mathbb{C}$ in an $n$-th power of a particular locally finitely…

We present a new way to construct $n$-cluster tilting subcategories of abelian categories. Our method takes as input a direct system of abelian categories $\mathcal{A}_i$ with certain subcategories and, under reasonable conditions, outputs…

We introduce the concept of an $n$-minimal Auslander--Gorenstein category and $n$-precluster tilting subcategory. With this, we create an analog of the higher Auslander--Solberg correspondence (arXiv:1608.04179) for exact categories. Our…

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…

Inspired by the recent work of Henrard, Kvamme and van Roosmalen [17], we prove a categorified version of higher Auslander correspondence in the context of exact categories. We define n-Auslander exact categories and show that there is a…

We investigate how to characterize subcategories of abelian categories in terms of intrinsic axioms. In particular, we find intrinsic axioms which characterize generating cogenerating functorially finite subcategories, precluster tilting…