Effective descent morphisms of regular epimorphisms
Category Theory
2015-04-20 v2
Abstract
Let be a regular category with pushouts of regular epimorphisms by regular epimorphism and the category of regular epimorphisms in . We prove that every regular epimorphism in is an effective descent morphism if, and only if, is a regular category. Then, moreover, every regular epimorphism in is an effective descent morphism. This is the case, for instance, when is either exact Goursat, or ideal determined, or is a category of topological Mal'tsev algebras, or is the category of -fold regular epimorphisms in any of the three previous cases, for any .
Cite
@article{arxiv.1101.4921,
title = {Effective descent morphisms of regular epimorphisms},
author = {Tomas Everaert},
journal= {arXiv preprint arXiv:1101.4921},
year = {2015}
}