45 citations · 237 across the 53 of their papers we have counts for
Showing 2021 · math.CTShow all
2 papers · 2 filters
math.CT2021
Monads on Categories of Relational Structures
Chase Ford, Stefan Milius, Lutz Schröder
We introduce a framework for universal algebra in categories of relational structures given by finitary relational signatures and finitary or infinitary Horn theories, with the ari…
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…