Effective Descent Morphisms in Some Quasivarieties of Algebraic, Relational, and More General Structures

Abstract

We show that the class of effective descent morphisms coincides with the class of regular epimorphisms in suitable categories of internal structures in an exact category. In particular this applies to quasivarieties of (ordinary) first-order structures closed under strong homomorphic images.