Advertisement

A Description of Iterative Reflections of Monads (Extended Abstract)

  • Jiří Adámek
  • Stefan Milius
  • Jiří Velebil
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5504)

Abstract

For ideal monads in Set (e. g. the finite list monad, the finite bag monad etc.) we have recently proved that every set generates a free iterative algebra. This gives rise to a new monad. We prove now that this monad is iterative in the sense of Calvin Elgot, in fact, this is the iterative reflection of the given ideal monad. This shows how to freely add unique solutions of recursive equations to a given algebraic theory. Examples: the monad of free commutative binary algebras has the monad of binary rational unordered trees as iterative reflection, and the finite list monad has the iterative reflection given by adding an absorbing element.

References

  1. 1.
    Adámek, J., Börger, R., Milius, S., Velebil, J.: Iterative algebras: How iterative are they? Theory Appl. Categ. 19, 61–92 (2008)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Adámek, J., Milius, S.: Terminal coalgebras and free iterative Theories. Inform. and Comput. 204, 1139–1172 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Adámek, J., Milius, S., Velebil, J.: Iterative algebras at work. Math. Structures Comput. Sci. 16.6, 1085–1131 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Adámek, J., Milius, S., Velebil, J.: Elgot algebras. Logical Methods Comput. Sci. 2(5:4), 31 (2006)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Adámek, J., Milius, S., Velebil, J.: Iterative reflections of monads. Math. Structures Comput. Sci. (accepted for publication)Google Scholar
  6. 6.
    Adámek, J., Milius, S., Velebil, J.: A description of iterative reflections of monads, http://www.stefan-milius.eu
  7. 7.
    Adámek, J., Rosický, J.: Locally presentable and accessible categories. Cambridge University Press, Cambridge (1994)CrossRefzbMATHGoogle Scholar
  8. 8.
    Barr, M.: Coequalizers and free triples. Math. Z. 116, 307–322 (1970)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Elgot, C.C.: Monadic computation and iterative algebraic theories. In: Rose, H.E., Shepherdson, J.C. (eds.) Logic Colloquium 1973. North-Holland Publishers, Amsterdam (1975)Google Scholar
  10. 10.
    Elgot, C.C., Bloom, S., Tindell, R.: On the algebraic structure of rooted trees. J. Comput. System Sci. 16, 361–399 (1978)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Gabriel, P., Ulmer, F.: Lokal präsentierbare Kategorien. Lecture N. Math., vol. 221. Springer, Berlin (1971)zbMATHGoogle Scholar
  12. 12.
    Ginali, S.: Regular trees and the free iterative theory. J. Comput. System Sci. 18, 228–242 (1979)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Mac Lane, S.: Categories for the working mathematician, 2nd edn. Springer, Heidelberg (1998)zbMATHGoogle Scholar
  14. 14.
    Nelson, E.: Iterative algebras. Theoret. Comput. Sci. 25, 67–94 (1983)MathSciNetzbMATHGoogle Scholar
  15. 15.
    Tiuryn, J.: Unique fixed points vs. least fixed points. Theoret. Comput. Sci. 12, 229–254 (1980)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Jiří Adámek
    • 1
  • Stefan Milius
    • 1
  • Jiří Velebil
    • 2
  1. 1.Institute of Theoretical Computer ScienceTechnical UniversityBraunschweigGermany
  2. 2.Faculty of Electrical EngineeringCzech Technical University of PragueCzech Republic

Personalised recommendations