45 citations · 118 across the 19 of their papers we have counts for
5 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…
On free completely iterative algebras
Jiri Adamek
For every finitary set functor F we demonstrate that free algebras carry a canonical partial order. In case F is bicontinuous, we prove that the cpo obtained as the conservative co…
Algebraic cocompleteness and finitary functors
Jiří Adámek
A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and,…
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…