45 citations · 118 across the 19 of their papers we have counts for
Showing 2021 · math.CTShow all
2 papers · 2 filters
math.CT2021
Varieties of ordered algebras as categories
Jiří Adámek, Jiří Rosický
A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent…
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…