# Unital Specker $\ell$-groups and boolean multispaces

## TL;DR

This paper establishes a duality between boolean multispaces and unital Specker $
ell$-groups, extending Stone duality and revealing categorical properties of these algebraic structures.

## Contribution

It introduces boolean multispaces as a topological generalization and proves their categorical duality with unital Specker $
ell$-groups, extending classical dualities.

## Key findings

- Category of boolean multispaces is dually equivalent to unital Specker $
ell$-groups.
- Unital Specker $
ell$-groups with singular units are equivalent to boolean algebras.
- The category of unital Specker $
ell$-groups has finite colimits and products, but lacks some countable copowers and equalizers.

## Abstract

As a topological generalization of the notion of a multiset, a boolean multispace is a boolean space $X$ with a continuous function $u\colon 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 $\Gamma$ 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.