  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.
