MV-algebras are categorically equivalent to a class of -semigroups
Jiří Rachůnek (1998)
Mathematica Bohemica
Similarity:
In the paper it is proved that the category of -algebras is equivalent to the category of bounded -semigroups satisfying the identity . Consequently, by a result of D. Mundici, both categories are equivalent to the category of bounded commutative -algebras.