Towards commutator theory for relations. III
arXiv:math/0511313
Abstract
We derive consequences from the existence of a term which satisfies Mal'cev identities (characterizing permutability) modulo two functions F and G from admissible relations to admissible relations. We also provide characterizations of varieties having a Mal'cev term modulo F and G.
7 pages