Searcharxiv⌕ Search

arXiv subjects

Tomas Everaert

Publications and source records attributed to Tomas Everaert.

15 recordsLinked to original sources
arXiv2018

A relative monotone-light factorisation system for internal groupoids

Given an exact category $\mathcal{C}$, it is well known that the connected component reflector $π_0\colon\mathsf{Gpd}(\mathcal{C})\to\mathcal{C}$ from the category $\mathsf{Gpd}(\mathcal{C})$ of internal groupoids in $\mathcal{C}$ to the base category $\mathcal{C}$ is semi-left-exact. In this article we investigate the existence of a monotone-light factorisation system associated with this reflector. We show that, in general, there is no monotone-light factorisation system $(\mathcal{E}',\mathcal{M}^*)$ in $\mathsf{Gpd}(\mathcal{C})$, where $\mathcal{M}^*$ is the class of coverings in the sense of the corresponding Galois theory. However, when restricting to the case where $\mathcal{C}$ is an exact Mal'tsev category, we show that the so-called comprehensive factorization of regular epimorphisms in $\mathsf{Gpd}(\mathcal{C})$ is the relative monotone-light factorisation system (in the sense of Chikhladze) in the category $\mathsf{Gpd}(\mathcal{C})$ corresponding to the connected component reflector, where $\mathcal{E}'$ is the class of final functors and $\mathcal{M}^*$ the class of regular epimorphic discrete fibrations.

math.CT↗
arXiv2016

A classification theorem for normal extensions

For a particular class of Galois structures, we prove that the normal extensions are precisely those extensions that are "locally" split epic and trivial, and we use this to prove a "Galois theorem" for normal extensions. Furthermore, we interpret the normalisation functor as a Kan extension of the trivialisation functor.

math.CT↗
arXiv2014

A description of the fundamental group in terms of commutators and closure operators

A connection between the Galois-theoretic approach to semi-abelian homology and the homological closure operators is established. In particular, a generalised Hopf formula for homology is obtained, allowing the choice of a new kind of functors as coefficients. This makes it possible to calculate the fundamental groups corresponding to many interesting reflections arising, for instance, in the categories of groups, rings, compact groups and simplicial loops.

math.CT↗
arXiv2014

Monotone-light factorisation systems and torsion theories

Given a torsion theory (Y,X) in an abelian category C, the reflector I from C to the torsion-free subcategory X induces a reflective factorisation system (E, M) on C. It was shown by A. Carboni, G.M. Kelly, G. Janelidze and R. Paré that (E, M) induces a monotone-light factorisation system (E',M*) by simultaneously stabilising E and localising M, whenever the torsion theory is hereditary and any object in C is a quotient of an object in X. We extend this result to arbitrary normal categories, and improve it also in the abelian case, where the heredity assumption on the torsion theory turns out to be redundant. Several new examples of torsion theories where this result applies are then considered in the categories of abelian groups, groups, topological groups, commutative rings, and crossed modules.

math.CT↗
arXiv2012

Higher Central Extensions in Mal'tsev Categories

Higher dimensional central extensions of groups were introduced by G. Janelidze as particular instances of the abstract notion of covering morphism from categorical Galois theory. More recently, the notion has been extended to and studied in arbitrary semi-abelian categories. In this article, we further extend the scope to exact Mal'tsev categories and beyond.

math.CT↗
arXiv2012

Resolutions, higher extensions and the relative Mal'tsev axiom

We study how the concept of higher-dimensional extension which comes from categorical Galois theory relates to simplicial resolutions. For instance, an augmented simplicial object is a resolution if and only if its truncation in every dimension gives a higher extension, in which sense resolutions are infinite-dimensional extensions or higher extensions are finite-dimensional resolutions. We also relate certain stability conditions of extensions to the Kan property for simplicial objects. This gives a new proof of the fact that a regular category is Mal'tsev if and only if every simplicial object is Kan, using a relative setting of extensions.

math.CT↗
arXiv2012

Effective descent morphisms of regular epimorphisms

Let $A$ be a regular category with pushouts of regular epimorphisms by regular epimorphism and $Reg(A)$ the category of regular epimorphisms in $A$. We prove that every regular epimorphism in $Reg(A)$ is an effective descent morphism if, and only if, $Reg(A)$ is a regular category. Then, moreover, every regular epimorphism in $A$ is an effective descent morphism. This is the case, for instance, when $A$ is either exact Goursat, or ideal determined, or is a category of topological Mal'tsev algebras, or is the category of $n$-fold regular epimorphisms in any of the three previous cases, for any $n\geq 1$.

math.CT↗
arXiv2011

Protoadditive functors, derived torsion theories and homology

Protoadditive functors are designed to replace additive functors in a non-abelian setting. Their properties are studied, in particular in relationship with torsion theories, Galois theory, homology and factorisation systems. It is shown how a protoadditive torsion-free reflector induces a chain of derived torsion theories in the categories of higher extensions, similar to the Galois structures of higher central extensions previously considered in semi-abelian homological algebra. Such higher central extensions are also studied, with respect to Birkhoff subcategories whose reflector is protoadditive or, more generally, factors through a protoadditive reflector. In this way we obtain simple descriptions of the non-abelian derived functors of the reflectors via higher Hopf formulae. Various examples are considered in the categories of groups, compact groups, internal groupoids in a semi-abelian category, and other ones.

math.CT↗
arXiv2011

Relative Commutator Theory in Semi-Abelian Categories

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 Janelidze and Kelly's B-central extensions; when the subcategory B is determined by the abelian objects in A, it coincides with Huq's commutator; and when the category A is a variety of omega-groups, it coincides with the relative commutator introduced by the first author.

math.CT↗
arXiv2011

Galois theory and commutators

We prove that the relative commutator with respect to a subvariety of a variety of Omega-groups introduced by the first author can be described in terms of categorical Galois theory. This extends the known correspondence between the Froehlich-Lue and the Janelidze-Kelly notions of central extension. As an example outside the context of Omega-groups we study the reflection of the category of loops to the category of groups where we obtain an interpretation of the associator as a relative commutator.

math.RA↗
arXiv2009

Higher central extensions and Hopf formulae

Higher extensions and higher central extensions, which are of importance to non-abelian homological algebra, are studied, and some fundamental properties are proven. As an application, a direct proof of the invariance of the higher Hopf formulae is obtained.

math.CT↗
arXiv2007

Higher Hopf formulae for homology via Galois Theory

We use Janelidze's Categorical Galois Theory to extend Brown and Ellis's higher Hopf formulae for homology of groups to arbitrary semi-abelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we describe the Barr-Beck derived functors of the reflector of A onto B in terms of centralization of higher extensions. In case A is the category Gp of all groups and B is the category Ab of all abelian groups, this yields a new proof for Brown and Ellis's formulae. We also give explicit formulae in the cases of groups vs. k-nilpotent groups, groups vs. k-solvable groups and precrossed modules vs. crossed modules.

math.AT↗
arXiv2006

Relative commutator theory in varieties of omega-groups

We introduce a new notion of commutator which depends on a choice of subvariety in any variety of omega-groups. We prove that this notion encompasses Higgins's commutator, Froehlich's central extensions and the Peiffer commutator of precrossed modules.

math.RA↗