What makes a Stone topological algebra profinite
- Resource Type
- Working Paper
- Authors
- Almeida, Jorge; Goulet-Ouellet, Herman; Klíma, Ondřej
- Source
- Algebra Universalis 84:6 (2023)
- Subject
- Mathematics - General Topology
Mathematics - Logic
46H05 (primary), 06E15, 08A62, 54H15, 54D45, 54C35 (secondary)
- Language
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.
Comment: arXiv admin note: text overlap with arXiv:1910.03674