Recursive coalgebras from comonads

We discuss Osius's [22] concept of a recursive coalgebra of a functor from the perspective of programming semantics and give some new sufficient conditions for the recursiveness of a functor-coalgebra that are based on comonads, comonad-coalgebras and distributive laws.

• Type: Journal
• Year: 2006
• Where: IANDC
• Authors: Venanzio Capretta, Tarmo Uustalu, Varmo Vene
• Keywords: Distributive Laws, Functor, IANDC 2006, Recursive Coalgebra