2000 character limit reached
What makes a Stone topological algebra profinite (2109.07286v1)
Published 1 Sep 2021 in math.GN and math.LO
Abstract: This paper is a contribution to understanding what properties should a topological algebra on a Stone space satisfy to be profinite. We reformulate and simplify proofs for some known properties using syntactic congruences. We also clarify the role of various alternative ways of describing syntactic congruences, namely by finite sets of terms and by compact sets of continuous self mappings of the algebra.