Recursive coalgebras from comonads

MaRDI QIDQ2847806zbMATH OpenFDO

Authors Venanzio Capretta, Tarmo Uustalu, Varmo Vene

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051680

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Recommendations

• Recursive coalgebras from comonads
• Recursive coalgebras of finitary functors
• On well-founded and recursive coalgebras
• scientific article; zbMATH DE number 5994844
• Universal coalgebra: A theory of systems

Cited in

(13)

• Combinatorial models for coalgebraic structures
• Cofree coalgebras and multivariable recursiveness.
• On well-founded and recursive coalgebras
• Recursive coalgebras from comonads
• scientific article; zbMATH DE number 5994844 (Why is no real title available?)
• Recursive coalgebras of finitary functors
• A Type of Partial Recursive Functions
• CIA structures and the semantics of recursion
• Corecursive algebras: a study of general structured corecursion
• On corecursive algebras for functors preserving coproducts
• The Recursion Scheme from the Cofree Recursive Comonad
• Coalgebras in functional programming and type theory
• Program optimisations via hylomorphisms for extraction of executable code

This page was built for publication: Recursive coalgebras from comonads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847806)