On a definition of a variety of monadic \(\ell\)-groups. (Q2016065): Difference between revisions

In the paper by the first author, \textit{M. Menni}, and \textit{M. Sagastume} [Stud. Log. 90, No. 1, 93-124 (2008; Zbl 1165.06002)], it was proved that the category \(\mathrm{IRL}_0\) of integral residuated lattices with bottom is equivalent to a category whose objects are \(c\)-differential residuated lattices satisfying a certain technical condition. The corresponding adjunction extends the one between Heyting algebras and Nelson algebras obtained in the paper by \textit{R. Cignoli} [Algebra Univers. 23, 262-292 (1986; Zbl 0621.06009)]. In his paper [J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)], the present reviewer established a categorical equivalence \(\Gamma\) between MV-algebras and lattice ordered abelian groups with a distinguished (strong, order) unit, for short, unital \(l\)-groups. MV-algebras are the algebras of Łukasiewicz infinite-valued logic. Unital \(l\)-groups provide a modern reformulation of Euclidean magnitudes equipped with a distinguished Archimedean unit of measurement. In the last sections of the paper under review, the authors specialize their results to the case of MV-algebras and the corresponding category of monadic MV-algebras induced by ``Kalman's functor'' \(K^*\). Moreover, they extend the construction to \(l\)-groups introducing the new category of monadic \(l\)-groups together with a functor paralleling the \(\Gamma\) functor.