Split epimorphisms as a productive tool in Universal Algebra
Résumé
By various examples, we show how, in Universal Algebra, the choice of a class of split epimorphisms Σ, defined by specific equations or local operations in their fibres, can be used as a productive and flexible tool determining Σ-partial properties. We focus, here, our attention on Σ-partial congruence modular and Σ-partial congruence distributive formulae.