On final coalgebras of continuous functors

Theoretical Computer Science

Volumn 294, Issue 1-2, 2003, Pages 3-29

  Adámek, Jiří ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Cauchy completion; Complete metric space; Continuous functor; Final coalgebra

Indexed keywords

ALGEBRA; ITERATIVE METHODS; SET THEORY; TREES (MATHEMATICS);

COALGEBRA;

COMPUTER SCIENCE;

EID: 0037441310     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00240-7     Document Type: Conference Paper

References (12)

1. Adámek J. Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolina. 15:1974;589-602.
2. Adámek J., Koubek V. On the greatest fixed point of a set functor. Theoret. Comput. Sci. 150:1995;57-75.
3. Adámek J., Reiterman J. Banach's fixed point theorem as a base for data-type equations. Appl. Categorical Structures. 2:1994;77-90.
4. Adámek J., Rosický J. Locally Presentable and Accessible Categories. 1994;Cambridge University Press, Cambridge.
5. Adámek J., Trnková V. Automata and Algebras in a Category. 1990;Kluwer Publ, Dordrecht.
6. America P., Rutten J. Solving reflexive domain equations in a category of complete metric spaces. J. Comp. Syst. Sci. 39:1989;343-375.
7. Arnold A., Nivat M. The metric space of infinite trees. Fund. Inform. 4:1980;445-476.
8. Barr M. Terminal coalgebras in well-founded Set theory. Theoret. Comput. Sci. 114:1993;299-315.
9. Gabriel P., Ulmer F. Lokal präsentierbare Kategorien, Lecture Notes in Mathematics. Vol. 221:1971;Springer, Berlin.
10. Pavlović D., Pratt V. On coalgebra of real numbers. Electr. Notes Theoret. Comput. Sci. 19:1999.
11. Smyth M.B., Plotkin G. The category-theoretical solution of recursive domain equations. SIAM J. Comp. 11:1983;761-763.
12. Worrell J. Terminal sequences for accessible endofunctors. Electr. Notes Theoret. Comput. Sci. 19:1999.