
TL;DR
This paper introduces a uniform structure framework to characterize pseudovarieties of finitely generated algebras, unifying previous results and providing a new perspective on algebraic classes via uniform continuity.
Contribution
It establishes a novel uniformity-based characterization of pseudovarieties of finitely generated algebras, linking algebraic properties with topological uniform structures.
Findings
Characterizes pseudovarieties using uniform structures on free algebras.
Unifies earlier theorems on finite algebra pseudovarieties.
Connects algebraic classes with uniform continuity concepts.
Abstract
We show that pseudovarieties of finitely generated algebras, i.e., classes of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can be described via a uniform structure on the free algebra for : the members of then are precisely those finitely generated algebras for which the natural mapping from the free algebra onto the term clone of is well-defined and uniformly continuous with respect to the uniformity and the uniformity of pointwise convergence on the term clone of , respectively. Our result unifies earlier theorems describing pseudovarieties of finite algebras and the pseudovariety generated by a single oligomorphic algebra.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
