On categorical equivalences of equality algebras and monadic equality algebras
Hongxing Liu · Logic Journal of IGPL · 2018
In this paper, we study the properties of monadic equality algebras (ME-algebras) and give the categorical equivalence of ME-algebras. Also, we characterize equivalence between the category of equality algebras and the subcategory of abelian |$l$|-groups.