Stone duality, topological algebra, and recognition. (Q5964103): Difference between revisions

Working in the framework of extended Priestley duality for distributive lattices with additional operations, a first main result of the paper under review is that any topological algebra over a Boolean space is the extended Stone dual space of some Boolean algebra with additional operations. As a corollary, the profinite completion of any abstract algebra is the extended Stone dual space of the Boolean algebra of recognisable subsets of the abstract algebra endowed with suitable residuation operations. In particular, the fact that the profinite completion of the free monoid on a finite set of generators is the dual space of a Boolean algebra with additional operations based on the recognisable subsets of the free monoid underlies a number of recent results in automata theory including a generalisation of Eilenberg-Reiterman theory for regular languages, and a notion of compact recognition that finds applications to non-regular languages.