Geometrical Methods in Goursat Categories

Abstract

The main aim of the paper is to show that the Little Desarguesian Theorem, the Escher Cube, Closure Lemma 1 and 3, hold in any regular Mal'tsev categories. We prove that Mal'tsev categories may be characterized through variations of the Little Desarguesian Theorem, the Escher Cube, Closure Lemma 1 and 3, that is classically expressed in terms of four congruences R, S1, S2 and T, and characterizes congruence modular varieties. The proof of this result in a varietal context may be obtained exclusively through the Little Desarguesian Theorem, the Escher Cube, Closure Lemma 1 and 3. This was shown by H.P. Gumm in Geometric Methods in Congruence Modular Algebras. We prove that for any 2n+1-permutable category $\mathcal{E}$, the category Equiv$(\mathcal{E})$ of equivalence relations in $\mathcal{E}$ is also a 2n+1-permutable category.