Unital Specker $\ell$-groups and boolean multispaces

Abstract

As a topological generalization of the notion of a multiset, a boolean multispace is a boolean space $X$ with a continuous function $u:X\to {\mathbb{Z}}_{>0}$, where ${\mathbb{Z}}_{>0}=\{1,2,\dots \}$ has the discrete topology. In this paper the category of boolean multispaces and continuous multiplicity-decreasing morphisms with respect to the divisibility order is shown to be dually equivalent to the category of unital Specker $\ell$-groups and unital $\ell$-homomorphisms. This result extends Stone duality, because unital Specker $\ell$-groups whose distinguished unit is singular are equivalent to boolean algebras. Boolean multispaces, in turn, are categorically equivalent to the Priestley duals of the MV-algebras corresponding to unital Specker $\ell$-groups via the $\hat{I}“$ functor. Via duality, we show that the category of unital Specker $\ell$-groups has finite colimits and finite products, but lacks some countable copowers and equalizers.