Skip to main content
SpringerLink
Log in

Some Remarks on Finitary and Iterative Monads

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

For every locally finitely presentable category A we introduce finitary Kleisli triples on A and show that they bijectively correspond to finitary monads on A. We illustrate this on free monads and free iterative monads.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aczel, P., Adámek, J., Milius, S. and Velebil, J.: Infinite trees and completely iterative theories: A coalgebraic view, Theoretical Computer Science 300 (2003), 1–45.

    Google Scholar 

  2. Adámek, J.: Free algebras and automata realization in the language of categories, Commentationes Mathematicae Universitatis Carolinae 15 (1974), 589–602.

    Google Scholar 

  3. Adámek, J.: A description of terminal coalgebras and iterative theories, Electronic Notes in Theoretical Computer Science 82(1) (2003).

  4. Adámek, J., Milius, S. and Velebil, J.: Free iterative theories: A coalgebraic view, Mathematical Structures in Computer Science 13 (2003), 259–320.

    Google Scholar 

  5. Adámek, J., Milius, S. and Velebil, J.: From iterative algebras to iterative theories, Preprint.

  6. Adámek, J. and Rosický, J.: Locally Presentable and Accessible Categories, Cambridge University Press, 1994.

  7. Barr, M.: Coequalizers and free triples, Mathematische Zeitschrift 116 (1970), 307–322.

    Google Scholar 

  8. Barr, M.: Terminal coalgebras in well-founded set theory, Theoretical Computer Science 124 (1994), 182–192.

    Google Scholar 

  9. Elgot, C. C.: Monadic computations and iterative algebraic theories, in H. E. Rose and J. C. Shepherdson (eds), Logic Colloqium' 73, North-Holland, 1975.

  10. Elgot, C. C., Bloom, S. L. and Tindell, R.: On the algebraic structure of rooted trees, Journal of Computer and Systems Sciences 16 (1978), 361–399.

    Google Scholar 

  11. Gabriel, P. and Ulmer, F.: Lokal präsentierbare Kategorien, Lecture Notes in Mathematics 221, Springer-Verlag, Berlin, 1971.

    Google Scholar 

  12. Kelly, M. and Power, J.: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of Pure and Applied Algebra 89 (1993), 163–179.

    Google Scholar 

  13. Manes, E. G.: Algebraic Theories, Springer-Verlag, Berlin, 1976.

    Google Scholar 

  14. Nelson, E.: Iterative algebras, Theoretical Computer Science 25 (1983), 67–94.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Theoretical Computer Science, Technical University, Braunschweig, Germany

    Jiří Adámek, Stefan Milius & Jiří Velebil

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

    You can also search for this author in PubMed Google Scholar

  2. Stefan Milius
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jiří Velebil
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Adámek, J., Milius, S. & Velebil, J. Some Remarks on Finitary and Iterative Monads. Applied Categorical Structures 11, 521–541 (2003). https://doi.org/10.1023/A:1026153529959

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1026153529959

Search

Navigation