3 papers
math.CT2021
Reiterman's Theorem on Finite Algebras for a Monad
Jiri Adamek, Liang-Ting Chen, 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…
cs.LO2018
An algebraic theory for data linkage
Liang-Ting Chen, Markus Roggenbach, John V. Tucker
There are countless sources of data available to governments, companies, and citizens, which can be combined for good or evil. We analyse the concepts of combining data from common…
cs.FL2016
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…