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…