Geodesic
Fixed Points as Equations and Solutions
Canadian journal of mathematics, Tome 36 (1984) no. 3, pp. 495-519

Voir la notice de l'article provenant de la source Cambridge University Press

In the literature about the definition of data types there exist many approaches using some concept of fixed point. Wand [13] and Lehmann, Smyth [9] e.g. constructed data types as least fixed points of functors F:K → K. Arbib and Manes [3] showed that some data types turn out to be the greatest fixed points of such endofunctors. In this paper we regard least and greatest fixed points that have a given property. 
Adámek, Jiří; Merzenich, Wolfgang. Fixed Points as Equations and Solutions. Canadian journal of mathematics, Tome 36 (1984) no. 3, pp. 495-519. doi: 10.4153/CJM-1984-030-5
@article{10_4153_CJM_1984_030_5,
     author = {Ad\'amek, Ji\v{r}{\'\i} and Merzenich, Wolfgang},
     title = {Fixed {Points} as {Equations} and {Solutions}},
     journal = {Canadian journal of mathematics},
     pages = {495--519},
     year = {1984},
     volume = {36},
     number = {3},
     doi = {10.4153/CJM-1984-030-5},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1984-030-5/}
}
TY  - JOUR
AU  - Adámek, Jiří
AU  - Merzenich, Wolfgang
TI  - Fixed Points as Equations and Solutions
JO  - Canadian journal of mathematics
PY  - 1984
SP  - 495
EP  - 519
VL  - 36
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1984-030-5/
DO  - 10.4153/CJM-1984-030-5
ID  - 10_4153_CJM_1984_030_5
ER  - 
%0 Journal Article
%A Adámek, Jiří
%A Merzenich, Wolfgang
%T Fixed Points as Equations and Solutions
%J Canadian journal of mathematics
%D 1984
%P 495-519
%V 36
%N 3
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1984-030-5/
%R 10.4153/CJM-1984-030-5
%F 10_4153_CJM_1984_030_5

[1] 1. Adámek, J., Free algebras and automata realization in the language of categories, Comment. Math. Univ. Carolinae 75 (1974), 589–602. Google Scholar

[2] 2. Arbib, M. A. and Manes, E. G., Machines in a category, SIAM Rev. 16 (1974), 136–192. Google Scholar

[3] 3. Arbib, M. A. and Manes, E. G., The greatest fixpoint approach to data types, Proc. of 3rd workshop: Categorical and Algebraic Methods in Computer Science and System Theory, Forschungsbericht 113, Universitàt Dortmund, (1980), 2–12. Google Scholar

[4] 4. Barr, M., Coequalizers and free triples, Math. Zeit. 116 (1970), 307–322. Google Scholar

[5] 5. Herrlich, H. and Strecker, G., Category theory (Alleyn and Bacon, Boston, 1973). Google Scholar

[6] 6. Koubek, V., Set functors, Comment. Math. Univ. Carolinae 12 (1971), 175–195. Google Scholar

[7] 7. Kůrková-Pohlová, V. and Koubek, V., When a generalized algebraic category is monadic, Comment. Math. Univ. Carolinae 15 (1975), 577–587. Google Scholar

[8] 8. Koubek, V. and Reiterman, J., Categorical constructions of free algebras, colimits and completions of partial algebras, J. of Pure and Appl. Algebra 14 (1979), 195–231. Google Scholar

[9] 9. Lehmann, D. and Smyth, M. B., Data types, Univ. of Warwick, Theory of Comp. Rep. 19 (1977). Google Scholar

[10] 10. Manes, E. G., Free algebraic theories, Proceedings of Universal algebra (Esztergom, North-Holland Verlag, 1977), 507–513. Google Scholar

[11] 11. Merzenich, W., Allgemeine Operatornetze als Fixpunktgleichungen, Forschungsbericht 97, Universitàt Dortmund, (1980). Google Scholar

[12] 12. Trnková, V., Adámek, J., Koubek, V. and Reiterman, J., Free algebras, input processes and free monads, Comment. Math. Univ. Carolinae 16 (1975), 339–351. Google Scholar

[13] 13. Wand, M., Fixed point constructions in order enriched categories, Th. Comp. Sci. 8 (1979), 13–30. Google Scholar

Cité par Sources :