Categorical equivalence of algebras with a majority term (Q1966158)

The variety generated by an algebra \(A\) is denoted by \(V(A)\). Two algebras \(A,B\) are categorically equivalent, in symbols \(A\equiv _C B\), if there is an equivalence of categories \(F:V(A)\rightarrow V(B)\) such that \(F(A)=B\). For an algebra \(A\), the set of all compatible relations on \(A\) forms a Krasner algebra \(K(A)\). For finite algebras \(A, B\), O. Lüders recently proved: \(A\equiv _C B\) iff \(K(A)\cong K(B)\). The author simplifies this for particular cases: Theorem 2.1. Let \(A\) be a finite, subalgebra-primal algebra. Then \(A\equiv _C B\) iff \(B\) is finite, subalgebra-primal and \( \langle \text{Sub}A;\cap , E(A)\rangle \cong \langle \text{Sub}B;\cap ,E(B)\rangle \), where \(E(A)\) is the set of all singleton subuniverses of \(A\). Theorem 2.3. Let \(A\) be a finite algebra with a majority term. Then \(A\equiv _C B\) iff \(B\) is finite, has a majority term and for Krasner algebras of binary relations: \(S_2(A)\cong S_2(B)\). Theorem 3.8 gives a complete list of all possible finite algebras categorically equivalent to a finite algebra \(A\) with a majority term whose \(S_2(A)\) is generated by a single relation. Let be \(Q(K) = \{A/\theta\); \(A\in K\) and \(\theta \in \text{Con }A\}\). Theorem 4.3. Let a finite algebra \(A\) generate an arithmetical variety. Then \(A\equiv _C B\) iff \(B\) is a finite algebra generating an arithmetical variety and the categories \(Q(\text{Sub}(A))\), \(Q(\text{Sub}(B))\) are isomorphic.