Categorical equivalence of clones of operations preserving a nontrivial n-equivalence

In this paper, we showed that any clone of operations preserving a nontrivial [Formula: see text]-equivalence on a finite set is categorically equivalent to the clone of operations preserving a nontrivial [Formula: see text]-equivalence on a set having the cardinality of [Formula: see text].