Unital hyperarchimedean vector lattices

We prove that the category of unital hyperarchimedean vector lattices is equivalent to the category of Boolean algebras. The key result needed to establish the equivalence is that, via the Yosida representation, such a vector lattice is naturally isomorphic to the vector lattice of all locally constant real-valued continuous functions on a Boolean (= compact Hausdorff totally disconnected) space. We give two applications of our main result.