加载中…
An explicit categorical equivalence is defined between a proper subvariety of the class of -algebras, as defined by Di Nola and Dvureenskij, to be called -algebras, and the category of semi-low -rings. This categorical representation is done using the prime spectrum of the -algebras, through the equivalence between -algebras and -groups established by Mundici, from the perspective of the Dubuc-Poveda approach, that extends the construction defined by Chang on chains. As a particular case, semi-low -rings associated to Boolean algebras are characterized. Besides we show that class of -algebras is coextensive.

生成讲解博客的中文版本

生成AI智能校验的中文版本