5 citations · 13 across the 7 of their papers we have counts for
4 papers · 1 filter
Schützenberger Products in a Category
Liang-Ting Chen, Henning Urbat
The Schützenberger product of monoids is a key tool for the algebraic treatment of language concatenation. In this paper we generalize the Schützenberger product to the level of mo…
Eilenberg Theorems for Free
Henning Urbat, Jiří Adámek, Liang-Ting Chen +1
Eilenberg-type correspondences, relating varieties of languages (e.g. of finite words, infinite words, or trees) to pseudovarieties of finite algebras, form the backbone of algebra…
Profinite Monads, Profinite Equations, and Reiterman's Theorem
Liang-Ting Chen, Jiri Adamek, Stefan Milius +1
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e. cla…
A Fibrational Approach to Automata Theory
Liang-Ting Chen, Henning Urbat
For predual categories C and D we establish isomorphisms between opfibrations representing local varieties of languages in C, local pseudovarieties of D-monoids, and finitely gener…