general topological groups. As a first step, we establish that the categories of topological
and measure-preserving irreducible systems with discrete spectrum are equivalent. This
allows to prove the Halmos–von Neumann theorem in the framework of topological
dynamics. We then use the Pontryagin and Tannaka–Krein duality theories to obtain
classification results for topological and then measure-preserving systems with discrete …