BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Tomas Everaert appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
In this note some recent developments in the study of homology in semi-abelian categories are briefly presented. In particular the role of protoadditive functors in the study of Hopf formulae for homology is explained.
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.
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.
We prove that the fundamental group functor from categorical Galois theory may be computed as a Kan extension.
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$.
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.
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.
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.
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.
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.
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.
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.