Effective descent morphisms of regular epimorphisms

DOI10.1016/J.JPAA.2012.02.027zbMATH Open1257.18001arXiv1101.4921OpenAlexW2062197095WikidataQ72421964 ScholiaQ72421964MaRDI QIDQ456863FDOQ456863

Authors: Tomas Everaert 

Publication date: 16 October 2012

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

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

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

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
• An algebraic description of regular epimorphisms in topology

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)

Cites Work

• On localization and stabilization for factorization systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semi-abelian categories
• Ideals in universal algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ideal determined categories
• Some remarks on Maltsev and Goursat categories
• Facets of descent. II
• Higher Hopf formulae for homology via Galois theory
• On categories with semidirect products
• Arithmetical categories and commutator theory
• Normalities and commutators
• A categorical genealogy for the congruence distributive property
• IDEAL DETERMINED VARIETIES HAVE UNBOUNDED DEGREES OF PERMUTABILITY
• Title not available (Why is that?)

Cited In (8)

• Title not available (Why is that?)
• Submersions and effective descent of étale morphisms
• Higher coverings of racks and quandles. II
• Descent for regular epimorphisms in Barr exact Goursat categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Effective descent morphisms for Banach modules
• Effective descent morphisms in some quasivarieties of algebraic, relational, and more general structures

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)