Generalized Eilenberg Theorem

DOI10.1145/3276771zbMath1407.68315OpenAlexW2905780452WikidataQ128729055 ScholiaQ128729055MaRDI QIDQ4617980

Stefan Milius, Jiří Adámek, Henning Urbat, Robert S. R. Myers

Publication date: 7 February 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3276771

zbMATH Keywords

coalgebracategory theoryalgebraic automata theorybimonoidsEilenberg's theorem

Mathematics Subject Classification ID

Related Items (4)

Unnamed Item ⋮ Eilenberg's variety theorem without Boolean operations ⋮ On language varieties without Boolean operations ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Regular languages and Stone duality
• Series formelles et algèbres syntactiques
• The Birkhoff theorem for finite algebras
• Structural induction and coinduction in a fibrational setting
• On tree coalgebras and coalgebra presentations
• Profinite Monads, Profinite Equations, and Reiterman’s Theorem
• Schützenberger Products in a Category
• Stone Duality for Nominal Boolean Algebras with И
• Iterative algebras at work
• Recognisable Languages over Monads
• Closed subgroups of free profinite monoids are projective profinite groups
• Duality and Equational Theory of Regular Languages
• Polynomial Operators on Classes of Regular Languages
• Tensor Products and Bimorphisms
• Varieties of Languages in a Category
• Eilenberg Theorems for Free
• A Fibrational Approach to Automata Theory
• Generalized Eilenberg Theorem I: Local Varieties of Languages
• Representation of Distributive Lattices by means of ordered Stone Spaces

This page was built for publication: Generalized Eilenberg Theorem