scientific article; zbMATH DE number 1356219
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\).
- scientific article; zbMATH DE number 4012842
- Equivalences of monoidal model categories
- Categorical equivalences and realization theorems
- Equivalenze rappresentabili tra categorie di moduli
- Categorical equivalence of some algebras
- Categorical equivalence in algebra
- The category of equivalence relations
- scientific article; zbMATH DE number 1159673
- scientific article; zbMATH DE number 4077517
- scientific article; zbMATH DE number 6945020
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 Q4700367)
