On iteratable endofunctors

Electronic Notes in Theoretical Computer Science

Volumn 69, Issue , 2003, Pages 287-304

  Milius, Stefan ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Completely iterative; Iterable; Monad

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL METHODS; FUNCTIONS; PROBLEM SOLVING; SET THEORY; THEOREM PROVING; TREES (MATHEMATICS);

COMPLETELY ITERATIVE; ENDOFUNCTORS; ITERABLE; MONAD;

ITERATIVE METHODS;

EID: 0942302121     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80570-X     Document Type: Conference Paper

References (14)

1. Aczel P., Adámek J., Velebil J. A Coalgebraic View of Infinite Trees and Iteration. Electronic Notes in Theoretical Computer Science. 44.1:2001
2. P. Aczel, J. Adámek, S. Milius and J. Velebil, Infinite Trees and Completely Iterative Theories: A Coalgebraic View, accepted for publication in Theoretical Computer Science.
3. Adamek J., Koubek V. On the greatest fixed point of a set functor. Theoretical Computer Science. 150:1995;57-75
4. Goguen J.A., Thatcher S.W., Wagner E.G., Wright J.B. Initial Algebra Semantics and Continuous Algebras. Journal of the ACM. 24:1977;68-95
5. J. Adámek, S. Milius and J. Velebil, Free Iterative Theories: A Coalgebraic View, accepted for publication in Math. Struct. in Comp. Science.
6. Adámek J., Porst H.E. From Varieties of Algebras to Covarieties of Coalgebras. Electronic Notes in Theoretical Computer Science. 44.1:2001
7. America P., Rutten J. Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. J. Comp. System Sci. 39:1989;343-375
8. Carboni A., Lack S., Wolters R.F.C. Introduction to Extensive and Distributive Categories. J. Pure Appl. Algebra. 84:1993;145-158
9. Elgot C.C. Monadic Computation and Iterative Algebraic Theories. Rose H.E., Shepherdson J.C. Logic Colloquium '73. 1975;North-Holland Publishers, Amsterdam
10. Elgot C.C., Bloom S.L., Tindell R. On the Algebraic Structure of Rooted Trees. J. Comp. Syst. Sciences. 16:1978;361-399
11. Lambek J. A Fixpoint Theorem for Complete Categories. Math. Z. 103:1968;151-161
12. F. E. J. Linton, Some aspects of equational categories, Proceedings of the Conference on Categorical Algebra, Springer-Verlag, 1966, 84-94.
13. Moss L. Parametric Corecursion. Theoretical Computer Science. 260:(no. 1-2):2001;139-163
14. Tiuryn J. Unique Fixed Points vs. Least Fixed Points. Theoretical Computer Science. 12:1980;229-254