Related papers: Peri-abelian categories and the universal central …

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…

Herschend-Liu-Nakaoka introduced the notion of $n$-exangulated categories. It is not only a higher dimensional analogue of extriangulated categories defined by Nakaoka-Palu, but also gives a simultaneous generalization of $n$-exact…

We define a Galois structure on the category of pairs of equivalence relations in an exact Mal'tsev category, and characterize central and double central extensions in terms of higher commutator conditions. These results generalize both the…

We study when the stable category of an abelian category modulo a full additive subcategory is balanced and, in case the subcategory is functorially finite, we study a weak version of balance. Precise necessary and sufficient conditions are…

The purpose of this paper is to initiate a development of a new non-pointed counterpart of semi-abelian categorical algebra. We are making, however, only the first step in it by giving equivalent definitions of what we call ideally exact…

Let $k$ be a finite field. Wintenberger used the field of norms to give an equivalence between a category whose objects are totally ramified abelian $p$-adic Lie extensions $E/F$, where $F$ is a local field with residue field $k$, and a…

Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an ${\rm Ext}$-finite, Krull-Schmidt and $k$-linear $n$-exangulated category with $k$ a commutative artinian ring. In this note, we define two additive subcategories $\mathscr{C}_r$ and…

Let $(\mathcal{E}, \mathbb{E}, \mathfrak{s})$ be an extriangulated category. Motivated by the theory of hereditary algebras, we introduce the notion of a hereditary-type subcategory $\mathcal{W}\subseteq \mathcal{E}$. We prove that the…

By extending some classical results known for groups and skew braces, we define and investigate central series of cocommutative Hopf braces. Both left and right central series are defined using a $\star$-product that measures the difference…

A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming…

We clarify the relationship between the linear commutator and the ordinary commutator by showing that in any variety satisfying a nontrivial idempotent Mal'cev condition the linear commutator is definable in terms of the centralizer…

Linear categories naturally have several identification relations : isomorphisms, categorical equivalences and Morita equivalences. In this thesis, we construct the classifying stacks for these three relations ($\ukcatiso$, $\ukcateq$,…

We provide a general sufficient condition for extendability of quasimorphisms on subgroups. This condition recovers the result of Hull--Osin on quasimorphisms on hyperbolically embedded subgroups, and the proof given in this paper is much…

We construct a category $\OrdFor$ as an arboreal extension of $\Delta_{\mathrm{epi}}\subseteq\Delta$, whose morphisms are ordered forests composed by grafting. We define a full functor $\pi\colon \OrdFor\to\Delta_{\mathrm{epi}}^{op}$…

Quasi-abelian categories are abundant in functional analysis and representation theory. It is known that a quasi-abelian category $\mathcal{E}$ is a cotilting torsionfree class of an abelian category. In fact, this property characterizes…

A well-known theorem of P. Hall, usually called Hall's criterion for nilpotence, states: a group G is nilpotent whenever it has a normal subgroup N such that G/[N,N] and N are nilpotent. We widely generalize this result, replacing groups…

In finitely cocomplete homological categories, co-smash products give rise to (possibly higher-order) commutators of subobjects. We use binary and ternary co-smash products and the associated commutators to give characterisations of…

We describe the split extension classifiers in the semi-abelian category of cocommutative Hopf algebras over an algebraically closed field of characteristic zero. The categorical notions of centralizer and of center in the category of…

In this note, we propose a generalisation of G. Janelidze's notion of an ideally exact category beyond the Barr exact setting. We define an ideally regular category as a regular, Bourn protomodular category with finite coproducts in which…

For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some…