11 citations · 37 across the 18 of their papers we have counts for
5 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…
A New Foundation for Finitary Corecursion
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modeled as coalgebras with a fini…
Finitary Corecursion for the Infinitary Lambda Calculus
Stefan Milius, Thorsten Wißmann
Kurz et al. have recently shown that infinite -trees with finitely many free variables modulo -equivalence form a final coalgebra for a functor on the category of nominal set…