4 citations · 4 across the 1 of their papers we have counts for
4 papers
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…
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…