Effective descent morphisms of regular epimorphisms

DOI10.1016/J.JPAA.2012.02.027MaRDI QIDQ456863zbMATH OpenOpenAlexWikidataFDO

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

Barr exactnesseffective descent morphismGoursat categoryideal determined categoryregular categoryregular epimorphismtopological Mal'tsev algebras

Mathematics Subject Classification ID

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

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$.

Review text

This paper is concerned with a weakened form of Barr exactness: the condition that every regular epimorphism in a category should be an effective descent morphism. In particular, let \({\mathcal A}\) be a regular category with pushouts of regular epimorphisms by regular epimorphisms, and let \(\text{Reg}({\mathcal A})\) be the category of regular epimorphisms in \({\mathcal A}\). The author shows that \(\text{Reg}({\mathcal A})\) satisfies the weakened exactness condition if and only if \(\text{Reg}({\mathcal A})\) is regular. When these conditions hold, the category \({\mathcal A}\) itself also satisfies the weakened exactness condition. All of the conditions are satisfied when \({\mathcal A}\) is a Goursat category, or an ideal determined category, or a category of topological Mal'tsev algebras. They are also satisfied when \({\mathcal A}\) is the category of \(n\)-fold regular epimorphisms in one of the categories just mentioned.

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

• 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
• 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?)
• Ideal determined categories
• IDEAL DETERMINED VARIETIES HAVE UNBOUNDED DEGREES OF PERMUTABILITY
• 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)

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

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)