Term operation & clones

Clone on set A = set of operations closed under composition + projections. Clone of A (Pol(A)) determines polymorphisms. Galois connection between clones + relations on A. Foundation of constraint-satisfaction (Bulatov-Zhuk dichotomy…