Categorical equivalence between \(\mathrm{PMV}_f \)-product algebras and semi-low \(f_u \)-rings (Q2278836)

The authors construct a categorical equivalence between $\mathrm{PMV}_f$-product algebras and semi-low $f_u$-rings. They build on a variant of the categorical equivalence between unital $l$-groups and MV-algebras established by the present reviewer in his paper [the reviewer, J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)]. The final equivalence is then obtained by combining techniques developed in the earlier papers [\textit{E. J. Dubuc} and the second author, Stud. Log. 103, No. 4, 807--814 (2015; Zbl 1348.06009); \textit{E. J. Dubuc} and the second author, Ann. Pure Appl. Logic 161, No. 8, 1024--1046 (2010; Zbl 1229.06006)].