scientific article; zbMATH DE number 139617
[For the entire collection see Zbl 0745.00057.] Let \({\mathbf L}\) and \({\mathbf K}\) be two varieties which are equivalent as categories by functors \(G: {\mathbf K}\to {\mathbf L}\) and \(H: {\mathbf L}\to {\mathbf K}\). Then many properties of \({\mathbf K}\) transfer to \({\mathbf L}\). For instance, subdirect products and homomorphic images are preserved under category equivalence. Denote by \(\mathbf{2}\) the two-element Boolean algebra. \(V(\mathbf{2})\) is the variety of Boolean algebras and every Boolean algebra is isomorphic to a subdirect power of \(\mathbf{2}: V(\text\textbf{2})=IP_ s\text\textbf{2}\). If a variety \({\mathbf K}\) is category-equivalent to \(V(\mathbf{2})\), then \({\mathbf K}\) is generated by a primal algebra [\textit{T.-K. Hu}, Math. Z. 110, 180-198 (1969; Zbl 0177.026)]. In order to generalize this equivalence, varieties were determined which are equivalent to varieties generated by two-element preprimal algebras [the author, Acta Sci. Math. 52, No. 1/2, 69-79 (1988; Zbl 0657.08005)]. These varieties are generated by preprimal algebras. A finite algebra \({\mathfrak A}=(A;F)\) is said to be preprimal if the clone generated by \(F\) is covered by the clone \({\mathfrak F}(A)\) of all functions defined on the set \(A\). In this paper we consider a category equivalence between varieties generated by algebras with carriers \(A\) and \(A^ r\) \((r>1)\). If \(A\) is finite, the preprimality of the generating algebras is preserved under this equivalence, i.e., \(\mathfrak A\) is preprimal if and only if \({\mathfrak A}^ r\) is preprimal.
- \(\aleph _ 0\)-categoricity in infra primal varieties
- Categorical equivalence of varieties and invariant relations.
- Category equivalences of clones
- Morita equivalence of almost-primal clones
- Categorical equivalence of algebras with a majority term
- On prevarieties of logic
- Composition of matrix products and categorical equivalence
- Categorical equivalence and the Ramsey property for finite powers of a primal algebra
- scientific article; zbMATH DE number 437421 (Why is no real title available?)
- scientific article; zbMATH DE number 4037903 (Why is no real title available?)
- scientific article; zbMATH DE number 4073058 (Why is no real title available?)
- scientific article; zbMATH DE number 540505 (Why is no real title available?)
- Relational Sets and Categorical Equivalence of Algebras
- Representations of algebras in varieties generated by infinite primal algebras.
- On categorical equivalence of finite algebras generating arithmetical varieties
- scientific article; zbMATH DE number 805015 (Why is no real title available?)
- Pierce stalks in preprimal varieties
- From rectangular bands to \(k\)-primal algebras
- Some of our primal algebras are missing: the canonical primal theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4029596)
