Anticommutativity and n-schemes

Abstract

The purpose of this paper is two-fold. A first and more concrete aim is to give new characterizations of equivalence distributive Goursat categories (which extend 3-permutable varieties) through variations of the little Pappian Theorem involving reflexive and positive relations. A second and more abstract aim is to show that every finitely complete category E satisfying the n-scheme is locally anticommutative.