Z. Janelidze

Varieties of Universal Algebras with Normal Local Projections

Abstract:
In this paper we characterize varieties of universal algebras in which every fibre Pt$(B)$ of the fibration of points has normal product projections, i.e., $(X\times Y)/X\approx Y$ holds in every fibre Pt$(B)$.

Keywords:
Fibration of points, product projection, normal epimorphism, Mal'tsev category, Mal'tsev variety, J\'{o}nsson-Tarski variety, subtractive variety.

MSC 2000: 18A20, 18A30, 18D30, 08B05, 08B25.