Article contents
Recursive coalgebras of finitary functors
Published online by Cambridge University Press: 17 August 2007
Abstract
For finitary set functors preserving inverse images, recursive coalgebras A of Paul Taylor are proved to be precisely those for which the system described by A always halts in finitely many steps.
- Type
- Research Article
- Information
- RAIRO - Theoretical Informatics and Applications , Volume 41 , Issue 4 , October 2007 , pp. 447 - 462
- Copyright
- © EDP Sciences, 2007
References
P. Aczel and N. Mendler, A Final Coalgebra Theorem, Proceedings Category Theory and Computer Science, edited by D.H. Pitt et al.
Lect. Notes Comput. Sci. (1989) 357–365.
Adámek, J. and Milius, S., Terminal coalgebras and free iterative theories.
Inform. Comput.
204 (2006) 1139–1172.
CrossRef
J. Adámek and V. Trnková, Automata and Algebras in Categories. Kluwer Academic Publishers (1990).
J. Adámek, D. Lücke and S. Milius, Recursive coalgebras of finitary functors, in CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, edited by P. Mosses, J. Power and M. Seisenberger, Report Series, University of Swansea, 1–14.
Barr, M., Terminal coalgebras in well-founded set theory.
Theoret. Comput. Sci.
114 (1993) 299–315.
CrossRef
Capretta, V., Uustalu, T. and Vene, V., Recursive coalgebras from comonads.
Inform. Comput.
204 (2006) 437–468.
CrossRef
Koubek, V., Set functors.
Comment. Math. Univ. Carolin.
12 (1971) 175–195.
Milius, S., Completely iterative algebras and completely iterative monads.
Inform. Comput.
196 (2005) 1–41.
CrossRef
R. Montague, Well-founded relations; generalizations of principles of induction and recursion (abstract). Bull. Amer. Math. Soc.
61 (1955) 442.
G. Osius, Categorical set theory: a characterization of the category of sets. J. Pure Appl. Algebra
4 (1974) 79–119.
CrossRef
Rutten, J., Universal coalgebra, a theory of systems.
Theoret. Comput. Sci.
249 (2000) 3–80.
P. Taylor, Practical Foundations of Mathematics. Cambridge University Press (1999).
V. Trnková, On a descriptive classification of set-functors I. Comment. Math. Univ. Carolin.
12 (1971) 143–174.
- 15
- Cited by