Related papers: Comparison of Abelian categories recollements
We provide several equivalent descriptions of a highest weight category using recollements of abelian categories. Also, we explain the connection between sequences of standard and exceptional objects.
We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…
In this paper we investigate equivariant recollements of abelian (resp. triangulated) categories. We first characterize when a recollement of abelian (resp. triangulated) categories induces an equivariant recollement, i.e. a recollement…
In the efforts to define a 2-categorical analog of an abelian category, two (or three) notions of "abelian 2-categories" are defined. One is the relatively exact 2-category, and the other(s) is the (2-)abelian Gpd-category. We compare these…
A recollement is a decomposition of a given category (abelian or triangulated) into two subcategories with functorial data that enables the glueing of structural information. This paper is dedicated to investigating the behaviour under…
In this paper we study a relationship between elementary equivalence of endomorphism rings of Abelian p-groups and second order equivalence of the corresponding Abelian p-groups.
We establish a correspondence between recollements of abelian categories up to equivalence and certain TTF-triples. For a module category we show, moreover, a correspondence with idempotent ideals, recovering a theorem of Jans. Furthermore,…
We relativize the notion of a compact object in an abelian category with respect to a fixed subclass of objects. We show that the standard closure properties persist to hold in this case. Furthermore, we describe categorical and…
Ladders of recollements of abelian categories are introduced, and used to address three general problems. Ladders of a certain height allow to construct recollements of triangulated categories, involving derived categories and singularity…
We provide some conditions for the image of a morphism of abelian schemes to again be an abelian scheme. For context, in characteristic 0, the image is always an abelian scheme; in mixed and positive characteristic the image can fail to be…
We make explicit some conditions on a semi-abelian category D such that, for any abelian group A in D and any object Y in D, the cohomology group homomorphisms with coefficients in A, induced by the inclusion of the abelian objects of D at…
We investigate the abelianization of a Lie algebroid and provide a necessary and sufficient condition for its existence. We also study the abelianization of groupoids and provide sufficient conditions for its existence in the smooth…
This paper studies abelian categories that can be decomposed into smaller abelian categories via iterated recollements - such a decomposition we call a stratification. Examples include the categories of (equivariant) perverse sheaves and…
We define a notion of equivalence between algebraic dependent type theories which we call Morita equivalence. This notion has a simple syntactic description and an equivalent description in terms of models of the theories. The category of…
Surjective homological epimorphisms with stratifying kernel can be used to construct recollements of derived module categories. These `stratifying' recollements are derived from recollements of module categories. Can every recollement be…
In the sense of Palamodov, a preabelian category is semi-abelian if for every morphism the natural morphism between the cokernel of its kernel and the kernel of its cokernel is simultaneously a monomorphism and an epimorphism. In this…
Many types of categorical structure obey the following principle: the natural notion of equivalence is generated, as an equivalence relation, by identifying $A$ with $B$ when there exists a strictly structure-preserving map $A \to B$ that…
Three comparison criteria for the Abel equation of 1es kind are proved. The results obtained are used to obtain global solvability criteria and some criteria of existence of closed solutions for the mentioned equation. The results obtained…
We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…
We prove that a Hom-finite additive category having determined morphisms on both sides is a dualizing variety. This complements a result by Krause. We prove that in a Hom-finite abelian category having Serre duality, a morphism is right…