No label defined (Q4700367)

A mode \((A,F)\) is an algebra satisfying the identities \[ \begin{gathered} f(x,\ldots,x)=x\\ f(g(x_{11},\ldots,x_{1m}),\ldots,g(x_{n1},\ldots,x_{nm}))= g(f(x_{11},\ldots,x_{n1}),\ldots,f(x_{1m},\ldots,x_{nm})) \end{gathered} \] for all \(f,g\in F\) of arities \(n,m\), respectively. This means that every term operation \(A^d\to A\) is a homomorphism and each one-element subset in \(A\) is a subalgebra. Let \(A\) be a finite mode. The purpose of the paper is to characterize all varieties of algebras \(V\) which are categorically equivalent to the variety \(HS\Pi(A)\). It is known that \(V\) need not be a variety of modes. Moreover if \(V,W\) are categorically equivalent varieties of modes then \(V,W\) are rationally equivalent in the sense of A. I. Mal'tsev. The general considerations in the paper are sharpened to the special case of a two-element semilattice \(A\).