Related papers: Schur's lemma for exact categories implies abelian

We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.

We consider abelian length categories, a generalization of module categories over Artin algebras. Let $\mathcal{A}$ be an abelian length category of colocal type. We show that the lattice $\mathsf{S}(\mathcal{A})$ of full additive subobject…

We prove that an additive track category with strong coproducts is equivalent to the category of pseudomodels for the algebraic theory of $\nil_2$ groups. This generalizes the classical statement that the category of models for the…

One-sided exact categories are obtained via a weakening of a Quillen exact category. Such one-sided exact categories are homologically similar to Quillen exact categories: a one-sided exact category $\mathcal{E}$ can be (essentially…

Highest weight categories are described in terms of standard objects and recollements of abelian categories, working over an arbitrary commutative base ring. Then the highest weight structure for categories of strict polynomial functors is…

We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly…

We consider algebras and Frobenius algebras, internal to a monoidal category, that are graded over a finite abelian group. For the case that A is a twisted group algebra in a linear abelian monoidal category we obtain a graded…

In this note, we show that the long $n$-exact sequence theorem holds in any $n$-abelian category. As an application, the $n$-abelian version of Wakamatsu's Lemma is given.

Motivated by some problems proposed by Cuadra and Simson related to flat objects in finitely accessible Grothendieck categories, we study flatness in the more general setting of finitely accessible additive categories. For such category…

We study the relation between Bourn's notion of peri-abelian category and conditions involving the coincidence of the Smith, Huq and Higgins commutators. In particular we show that a semi-abelian category is peri-abelian if and only if for…

Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…

A group is called square-like if it is universally equivalent to its direct square. It is known that the class of all square-like groups admits an explicit first order axiomatization but its theory is undecidable. We prove that the theory…

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…

We prove that the 2-category of skeletally small abelian categories with exact monoidal structures is anti-equivalent to the 2-category of fp-hom-closed definable additive categories satisfying an exactness criterion. For a fixed finitely…

We introduce the notions of proto-complete, complete, complete* and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete)…

We mainly investigate abelian quotients of the categories of short exact sequences. The natural framework to consider the question is via identifying quotients of morphism categories as modules categories. These ideas not only can be used…

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 the first part of the paper, we establish an homotopical version of the snail lemma (which is a generalization of the classical snake lemma). In the second part, we introduce the category $\mathbf{Seq}(\mathcal A)$ of sequentiable…

We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic properties of such a category and its associated homotopy…

For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.