Effective codescent morphisms in some varieties of universal algebras
arXiv:math/0610643
Abstract
The paper gives the sufficient condition formulated in the 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 quasigroups are effective.
15 pages