Effective Codescent Morphisms in Some Varieties of Universal Algebras

摘要

The paper gives a sufficient condition formulated in a syntactical form for all codescent morphisms of a variety of universal algebras satisfying the amalgamation property to be effective. This result is further used in proving that all codescent morphisms of (left/right-)quasigroups, loops, and magmas are effective.