11 citations · 37 across the 18 of their papers we have counts for
3 papers · 1 filter
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…