Effective descent morphisms of regular epimorphisms

DOI10.1016/J.JPAA.2012.02.027MaRDI QIDQ456863zbMATHOpenAlexWikidataFDO

Authors Tomas Everaert

Publication date 16 October 2012

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1101.4921

zbMATH Keywords

effective descent morphismGoursat categoryBarr exactnessideal determined categoryregular categoryregular epimorphismtopological Mal'tsev algebras

Mathematics Subject Classification ID

Abelian categories, Grothendieck categories (18E10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Abstract: 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 $ngeq1$.

Recommendations

• Descent for regular epimorphisms in Barr exact Goursat categories
• Effective descent morphisms in some quasivarieties of algebraic, relational, and more general structures
• Effective descent morphisms in star-regular categories
• scientific article; zbMATH DE number 426319
• An algebraic description of regular epimorphisms in topology

Cites work

• scientific article; zbMATH DE number 3914531 (Why is no real title available?)
• scientific article; zbMATH DE number 19481 (Why is no real title available?)
• scientific article; zbMATH DE number 40566 (Why is no real title available?)
• scientific article; zbMATH DE number 1141741 (Why is no real title available?)
• scientific article; zbMATH DE number 2068090 (Why is no real title available?)
• scientific article; zbMATH DE number 3450420 (Why is no real title available?)
• A categorical genealogy for the congruence distributive property
• Arithmetical categories and commutator theory
• Facets of descent. II
• Higher Hopf formulae for homology via Galois theory
• IDEAL DETERMINED VARIETIES HAVE UNBOUNDED DEGREES OF PERMUTABILITY
• Ideal determined categories
• Ideals in universal algebras
• Normalities and commutators
• On categories with semidirect products
• On localization and stabilization for factorization systems
• Semi-abelian categories
• Some remarks on Maltsev and Goursat categories

Cited in

(10)

• The category of \(L\)-algebras
• Descent for regular epimorphisms in Barr exact Goursat categories
• Some stability properties of epimorphism classes
• Effective descent morphisms in some quasivarieties of algebraic, relational, and more general structures
• scientific article; zbMATH DE number 2068090 (Why is no real title available?)
• Effective descent morphisms in star-regular categories
• Submersions and effective descent of étale morphisms
• scientific article; zbMATH DE number 426319 (Why is no real title available?)
• Higher coverings of racks and quandles. II
• Effective descent morphisms for Banach modules

This page was built for publication: Effective descent morphisms of regular epimorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456863)