Related papers: Peri-abelian categories and the universal central …
In a semi-abelian context, we study the condition (NH) asking that Higgins commutators of normal subobjects are normal subobjects. We provide examples of categories that do or do not satisfy this property. We focus on the relationship with…
We first compare several algebraic notions of normality, from a categorical viewpoint. Then we introduce an intrinsic description of Higgins' commutator for ideal-determined categories, and we define a new notion of normality in terms of…
Basing ourselves on Janelidze and Kelly's general notion of central extension, we study universal central extensions in the context of semi-abelian categories. We consider a new fundamental condition on composition of central extensions and…
We compare the 'Smith is Huq' condition (SH) with three commutator conditions in semi-abelian categories: first an apparently weaker condition which arose in joint work with Bourn and turns out to be equivalent with (SH), then an apparently…
We solve a problem mentioned in an article of Berger and Bourn: we prove that in the context of an algebraically coherent semi-abelian category, two natural definitions of the lower central series coincide. In a first, "standard" approach,…
Basing ourselves on the concept of double central extension from categorical Galois theory, we study a notion of commutator which is defined relative to a Birkhoff subcategory B of a semi-abelian category A. This commutator characterises…
We introduce new notions of weighted centrality and weighted commutators corresponding to each other in the same way as centrality of congruences and commutators do in the Smith commutator theory. Both the Huq commutator of subobjects and…
We develop some new aspects of cohomology in the context of semi-abelian categories: we establish a Hochschild-Serre 5-term exact sequence extending the classical one for groups and Lie algebras; we prove that an object is perfect if and…
This article gives an overview of some key categorical-algebraic properties of the variety of Heyting semilattices, with the aim of correcting a misconception in the literature. We confirm that the category of Heyting semilattices is not…
We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…
Basing ourselves on Janelidze and Kelly's general notion of central extension, we study universal central extensions in the context of semi-abelian categories. Thus we unify classical, recent and new results in one conceptual framework. The…
We prove that the category of cocommutative bialgebras in any symmetric monoidal category (that has equalizers) is an S-protomodular category with respect to a particular class of split extensions of cocommutative bialgebras. We also obtain…
The notion of a pseudo cluster tilting subcategory $\mathcal X$ in an extriangulated category $\mathcal C$ is defined in this article. We prove that the quotient category $\mathcal C/\mathcal X$, obtained by factoring an extriangulated…
The concept of a pair of compatible actions was introduced in the case of groups by Brown and Loday and in the case of Lie algebras by Ellis. In this article we extend it to the context of semi-abelian categories (that satisfy the…
Recently it was shown that the category of cocommutative Hopf algebras over an arbitrary field $\Bbbk$ is semi-abelian. We extend this result to the category of cocommutative color Hopf algebras, i.e. of cocommutative Hopf monoids in the…
We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor-Moore theorem, where the field was assumed to have zero…
For a triangulated category T, if C is a cluster-tilting subcategory of T, then the quotient category T\C is an abelian category. Under certain conditions, the converse also holds. This is an very important result of cluster-tilting theory,…
We establish a Galois-theoretic interpretation of cohomology in semi-abelian categories: cohomology with trivial coefficients classifies central extensions, also in arbitrarily high degrees. This allows us to obtain a duality, in a certain…
By providing a suitable generalization of Newman's bijective correspondence known for cocommutative Hopf algebras, we prove that the category of cocommutative Hopf monoids in any abelian symmetric monoidal category is semi-abelian, once…
We study Quillen's model category structure for homotopy of simplicial objects in the context of Janelidze, Marki and Tholen's semi-abelian categories. This model structure exists as soon as the base category A is regular Mal'tsev and has…