Back to Search
Start Over
Recursive coalgebras from comonads
- Source :
-
Information & Computation . Apr2006, Vol. 204 Issue 4, p437-468. 32p. - Publication Year :
- 2006
-
Abstract
- Abstract: The concept of recursive coalgebra of a functor was introduced in the 1970s by Osius in his work on categorical set theory to discuss the relationship between wellfounded induction and recursively specified functions. In this paper, we motivate the use of recursive coalgebras as a paradigm of structured recursion in programming semantics, list some basic facts about recursive coalgebras and, centrally, give new conditions for the recursiveness of a coalgebra based on comonads, comonad-coalgebras and distributive laws of functors over comonads. We also present an alternative construction using countable products instead of cofree comonads. [Copyright &y& Elsevier]
- Subjects :
- *RECURSIVE functions
*SET theory
*DISTRIBUTIVE law (Mathematics)
*RECURSION theory
Subjects
Details
- Language :
- English
- ISSN :
- 08905401
- Volume :
- 204
- Issue :
- 4
- Database :
- Academic Search Index
- Journal :
- Information & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 20768242
- Full Text :
- https://doi.org/10.1016/j.ic.2005.08.005