English

Effective descent morphisms of regular epimorphisms

Category Theory 2015-04-20 v2

Abstract

Let AA be a regular category with pushouts of regular epimorphisms by regular epimorphism and Reg(A)Reg(A) the category of regular epimorphisms in AA. We prove that every regular epimorphism in Reg(A)Reg(A) is an effective descent morphism if, and only if, Reg(A)Reg(A) is a regular category. Then, moreover, every regular epimorphism in AA is an effective descent morphism. This is the case, for instance, when AA is either exact Goursat, or ideal determined, or is a category of topological Mal'tsev algebras, or is the category of nn-fold regular epimorphisms in any of the three previous cases, for any n1n\geq 1.

Cite

@article{arxiv.1101.4921,
  title  = {Effective descent morphisms of regular epimorphisms},
  author = {Tomas Everaert},
  journal= {arXiv preprint arXiv:1101.4921},
  year   = {2015}
}
R2 v1 2026-06-21T17:17:01.940Z