Mal'cev clones over a three-element set up to minor-equivalence

Abstract

We classify all Mal'cev clones over a three-element set up to minion homomorphisms. This is another step toward the complete classification of three-element relational structures up to pp-constructability. We furthermore provide an alternative proof of Bulatov's result that all Mal'cev clones over a three-element set have an at most 4-ary relational basis.

arXiv comment36 pages, 4 figures; appendix contains a github link with additional material