Tag categoricalequivalence

We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras  and subspaces of  Tychonoff cubes, endowed  with the transformations that…