45 citations · 237 across the 53 of their papers we have counts for
8 papers · 1 filter
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…
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…
Finitary Monads on the Category of Posets
Jiří Adámek, Chase Ford, Stefan Milius +1
Finitary monads on are characterized as the precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequation…
Finitely Presentable Algebras For Finitary Monads
Jiří Adámek, Stefan Milius, Lurdes Sousa +1
For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from gene…
On Finitary Functors
Jiří Adámek, Stefan Milius, Lurdes Sousa +1
A simple criterion for a functor to be finitary is presented: we call finitely bounded if for all objects every finitely generated subobject of factorizes through the…
A Coalgebraic View on Reachability
Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata +1
Coalgebras for an endofunctor provide a category-theoretic framework for modeling a wide range of state-based systems of various types. We provide an iterative construction of the…