Related papers: Projective crossed modules in semi-abelian categor…

The work is devoted to the extension groups in the category of functors from a small category to an additive category with an Abelian structure in the sense of Heller. It is constructed a spectral sequence which converges to the extension…

Motivated by Hill's criterion of freeness for abelian groups, we investigate conditions under which unions of ascending chains of balanced-projective modules over integral domains are again balanced-projective. Our main result establishes…

We ascertain conditions and structures on categories and semigroups which admit the construction of pseudo-products and trace products respectively, making their connection as precise as possible. This topic is modelled on the ESN Theorem…

An abelian category with arbitrary coproducts and a small projective generator is equivalent to a module category \cite{Mit}. A tilting object in a abelian category is a natural generalization of a small projective generator. Moreover, any…

Derived decompositions of abelian categories are introduced in internal terms of abelian subcategories to construct semi-orthogonal decompositions (or Bousfield localizations, or hereditary torsion pairs) in various derived categories of…

We propose the notion of quasi-abelian third cohomology of crossed modules, generalizing Eilenberg and MacLane's abelian cohomology and Ospel's quasi-abelian cohomology, and classify crossed pointed categories in terms of it. We apply the…

Let $H$ be a Hopf algebra in braided category $\cal C$. Crossed modules over $H$ are objects with both module and comodule structures satisfying some comatibility condition. Category ${\cal C}^H_H$ of crossed modules is braided and is…

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.

We study simple and projective modules of a certain class of Ehresmann semigroups, a well-studied generalization of inverse semigroups. Let $S$ be a finite right (left) restriction Ehresmann semigroup whose corresponding Ehresmann category…

We study abelian envelopes for pseudo-tensor categories with the property that every object in the envelope is a quotient of an object in the pseudo-tensor category. We establish an intrinsic criterion on pseudo-tensor categories for the…

In this paper, we define the pullback crossed modules in the category of racks which mainly based on a pullback diagram of rack morphisms with extra crossed module data on some of its arrows. Furthermore we prove that the conjugation…

We show that the non-trivially associated tensor category constructed from left coset representatives of a subgroup of a finite group is a modular category. Also we give a definition of the character of an object in a ribbon category which…

We show that the unbounded derived category of a Grothendieck category with enough projective objects is the base category of a derivator whose category of diagrams is the full 2-category of small categories. With this structure, we give a…

Given an abelian category, we introduce a categorical concept of (strongly) Gorenstein projective (resp., injective) objects, by defining a new special class of objects. Then we study the transfer of these properties when passing to an…

We show that the Peiffer commutator previously defined by Cigoli, Mantovani and Metere can be used to characterize central extensions of precrossed modules with respect to the subcategory of crossed modules in any semi-abelian category…

We extend to semi-abelian categories the notion of characteristic subobject, which is widely used in group theory and in the theory of Lie algebras. Moreover, we show that many of the classical properties of characteristic subgroups of a…

We prove that an abelian category equipped with an ample sequence of objects is equivalent to the quotient of the category of coherent modules over the corresponding algebra by the subcategory of finite-dimensional modules. In the…

We investigate the structure of certain almost split sequences in $\mathcal{P}(\Lambda)$, i.e., the category of morphisms between projective modules over an Artin algebra $\Lambda$. The category $\mathcal{P}(\Lambda)$ has very nice…

For an abelian category C and a filtrant preordered set Lambda, we prove that the derived category of the quasi-abelian category of filtered objects in C indexed by Lambda is equivalent to the derived category of the abelian category of…

In a previous paper we showed that the category of cocommutative color Hopf algebras is semi-abelian in case the group $G$ is abelian and finitely generated and the characteristic of the base field is different from 2 (not needed if $G$ is…