A Seifert-van Kampen theorem in non-abelian algebra (Q721484)

From MaRDI portal
Revision as of 23:04, 27 August 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q129885804, #quickstatements; #temporary_batch_1724796091478)
scientific article
Language Label Description Also known as
English
A Seifert-van Kampen theorem in non-abelian algebra
scientific article

    Statements

    A Seifert-van Kampen theorem in non-abelian algebra (English)
    0 references
    19 July 2018
    0 references
    The authors prove a Seifert-van Kampen theorem for nonabelian categories. The Seifert-van Kampen theorem is well-known in algebraic topology, and it describes the fundamental group of a topological space in terms of the fundamental groups of open, path connected subspaces which cover the space. Loosely, the theorem says that the fundamental group functor sends pullbacks and pushouts of pointed topological spaces to pushouts in the category of groups. In this article, the authors' objective is to generalise the result to the more general setting of a regular epi-reflection. Given a functor \(F\) from an algebraically coherent, semi-abelian category \(\mathcal C\) with enough regular projectives, to an almost abelian category \(\mathcal X\), the authors give sufficient conditions for the fundamental group functor \(\pi_1^F\) relative to the functor \(F\) to preserve pushouts and split monomorphisms. When the category \(\mathcal X\) is abelian, the fundamental group functor \(\pi_1^F\) coincides with the classical left derived functor.
    0 references
    0 references
    derived functor
    0 references
    fundamental group
    0 references
    homology coproduct theorem
    0 references
    categorical Galois theory
    0 references
    algebraically coherent semi-abelian category
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references