Abstract:Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion of any abstract algebra is the extended Stone dual space of the Boolean algebra of recognizable subsets of the abstract algebra endowed with certain residuation operations. These results identify a connection between topological algebra as applied in algebra and Stone duality as applied in logic, and show that the notion of recognition originating in computer science is intrinsic to profinite completion in mathematics in general. This connection underlies a number of recent results in automata theory including a generalization of Eilenberg-Reiterman theory for regular languages and a new notion of compact recognition applying beyond the setting of regular languages. The purpose of this paper is to give the underlying duality theoretic result in its general form. Further we illustrate the power of the result by providing a few applications in topological algebra and language theory. In particular, we give a simple proof of the fact that any topological algebra quotient of a profinite algebra which is again based on a Boolean space is in fact a profinite algebra and we derive the conditions dual to the ones of the original Eilenberg theorem in a fully modular manner. We cast our results in the setting of extended Priestley duality for distributive lattices with additional operations as some classes of languages of interest in automata fail to be closed under complementation.

On selected developments in the theory of natural dualities

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator

Stone duality, topological algebra, and recognition

Geometric contexts and applications to logic

Generalised Duality Theory for Monoidal Categories and Applications

A duality theoretic view on limits of finite structures

Dual ideal theory on L-algebras

On the Notion of Metaplectic Barbasch-Vogan Duality

On duality and model theory for polyadic spaces

Extended Stone Duality via Monoidal Adjunctions

Duality theory for enriched Priestley spaces

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations

Modularity "for free" in genome architecture?

Duality for infinite-dimensional braided bialgebras and their (co)modules

A class of Gorenstein algebras and their dualities

A generalization of de Vries duality to closed relations between compact Hausdorff spaces

On $p$-adic Minkowski's Theorems

Target Space Duality II: Applications

A Fundamental Duality in the Mathematical and Natural Sciences: From Logic to Biology

Non-commutative Stone duality: inverse semigroups, topological groupoids and C*-algebras

Concrete Duality for Strict Infinity Categories