Congruence distributivity in Goursat and Mal'cev categories (Q2487464)

The congruence distributivity for regular Mal'tsev categories and for Goursat categories is characterized by means of preservation of binary infima by direct images. Namely, it is shown that: (i) a regular Mal'tsev category is congruence distributive iff for any regular epimorphism \(f: X\twoheadrightarrow Y\) and any pair \((R,S)\) of reflexive relations on \(X\) we have \(f(R\wedge S)= f(R)\wedge f(S)\); (ii) a regular Mal'tsev category is weakly congruence distributive iff for any regular epimorphism \(f: X\twoheadrightarrow Y\) and any pair \((R,S)\) of reflexive relations on \(X\) such that \(\text{Ker\,}f\wedge R= \text{Ker\,}f\wedge S= \Delta_X\) we have \(f(R\wedge S)= f(R)\wedge f(S)\).