Profinite Monads, Profinite Equations, and Reiterman’s Theorem

DOI10.1007/978-3-662-49630-5_31zbMath1474.18010arXiv1511.02147OpenAlexW2963831834MaRDI QIDQ2811362

Stefan Milius, Jiří Adámek, Henning Urbat, Liang-Ting Chen

Publication date: 10 June 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1511.02147

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Products, amalgamated products, and other kinds of limits and colimits (08B25) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (10)

Unnamed Item ⋮ Eilenberg's variety theorem without Boolean operations ⋮ Generalized Eilenberg Theorem ⋮ On language varieties without Boolean operations ⋮ Eilenberg Theorems for Free ⋮ Whither semantics? ⋮ Schützenberger Products in a Category ⋮ Codensity, profiniteness and algebras of semiring-valued measures ⋮ Syntactic structures of regular languages ⋮ Quantifiers on languages and codensity monads

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
• The Birkhoff theorem for varieties of finite algebras
• Coalgebraic constructions of canonical nondeterministic automata
• Series formelles et algèbres syntactiques
• The Birkhoff theorem for finite algebras
• Varieties of ordered algebras
• Profinite categories, implicit operations and pseudovarieties of categories
• A Reiterman theorem for pseudovarieties of finite first-order structures
• Equational completion, model induced triples and pro-objects
• Recognisable Languages over Monads
• Duality and Equational Theory of Regular Languages
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Syntactic Monoids in a Category
• A Fibrational Approach to Automata Theory
• On finite monoids having only trivial subgroups
• Generalized Eilenberg Theorem I: Local Varieties of Languages
• Profinite Groups

This page was built for publication: Profinite Monads, Profinite Equations, and Reiterman’s Theorem