45 citations · 237 across the 53 of their papers we have counts for
6 papers · 1 filter
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration
Stefan Milius, Jiří Adámek, Henning Urbat
For every finitary monad on sets and every endofunctor on the category of -algebras we introduce the concept of an ffg-Elgot algebra for , that is, an algebra admitti…
On Well-Founded and Recursive Coalgebras
Jiří Adámek, Stefan Milius, Lawrence S. Moss
This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive…
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…
Varieties of Data Languages
Henning Urbat, Stefan Milius
We establish an Eilenberg-type correspondence for data languages, i.e. languages over an infinite alphabet. More precisely, we prove that there is a bijective correspondence betwee…
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…