Skip to main content
SpringerLink
Log in

Remarks on fixed points of functors

  • Section B Computation Theory in Category
  • Conference paper
  • First Online:
Fundamentals of Computation Theory (FCT 1977)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 56))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Adámek: Free algebras and automata realizations in the language of categories, Comment. Math. Univ. Carolinae 15(1974), 589–602.

    Google Scholar 

  2. J. Adámek: Realization theory for automata in categories, to appear in J. Pure Appl. Algebra 1977.

    Google Scholar 

  3. J. Adámek, V. Koubek: Algebras and automata over a functor, to appear in Kybernetika.

    Google Scholar 

  4. M. A. Arbib: Categorial notes on Scott's theory of computation, Proceedings of a meeting at Dortmund University, Bericht Nr. 37, Dortmund 1976, 5–8.

    Google Scholar 

  5. M. A. Arbib, E. G. Manes: Machines in a category, an expository introduction, SIAM Review 16(1974), 163–192.

    Google Scholar 

  6. V. Koubek: Set functors, Comment. Math. Univ. Carolinae 12(1971), 175–195.

    Google Scholar 

  7. J. Lambek: A fixpoint theorem for complete category, Math. Z. 103 (1968), 151–161.

    Google Scholar 

  8. V. Pohlová, J. Adámek, V. Koubek: Colimits in the generalized algebraic categories, Acta Univ. Carolinae, 13(1973),29–40.

    Google Scholar 

  9. D. Scott: Continuous lattices, Lecture Notes in Math. 274, Springer Verlag 1971, 97–136.

    Google Scholar 

  10. V. Trnková, J. Adámek, V. Koubek, J. Reiterman:Free algebras, free monads and input processes, Comment. Math. Univ. Carolinae, 16(1975), 339–352.

    Google Scholar 

  11. M. Wand: Fixed-point constructions in order-enriched categories, Tech. Report 23, Indiana University 1975.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Electrical Engineering, Technical University, Prague, Suchbátarova 2, Praha 6, Czechoslovakia

    Jiří Adámek

  2. Faculty of Mathematics and Physics, Charles University, Prague, Malostranské nám. 25, Praha 1, Czechoslovakia

    Václav Koubek

Authors
  1. Jiří Adámek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Václav Koubek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marek Karpiński

Rights and permissions

Reprints and permissions

Copyright information

© 1977 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Adámek, J., Koubek, V. (1977). Remarks on fixed points of functors. In: Karpiński, M. (eds) Fundamentals of Computation Theory. FCT 1977. Lecture Notes in Computer Science, vol 56. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08442-8_86

Download citation

  • DOI: https://doi.org/10.1007/3-540-08442-8_86

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08442-6

  • Online ISBN: 978-3-540-37084-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation