Effective codescent morphisms in some varieties of universal algebras

2006/10/21 by Zangurashvili, Dali
#03C05 #18A32 #18C05 #18C20 #20N05 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/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.

Related

• Effective codescent morphisms of n-quasigroups and n-loops
• Descent in the dual category of ternary rings
• Effective codescent morphisms of Hausdorff topological spaces
• Effective morphisms and quotient stacks
• On extensivity of morphisms