Blog
About

140
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      The Universal Algebra of Computational Effects: Lawvere Theories and Monads

      Workshop on Mathematically Structured Functional Programming (MSFP 2006) (MSFP)

      Mathematically Structured Functional Programming

      2 July 2006

      Lawvere Theories, Monads, Computational Effects

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Lawvere theories were defined in 1963 as a category theoretic axiomatisation of the notion of a clone of an equational theory. A connection was soon established with the notion of monad, which had been extant in algebraic topology for the previous decade. Monads, although mathematically the less direct and less malleable formulation, rapidly gained precedence. In 1987, they were proposed as a unified model of computational effects, but without reference to universal algebra. But universal algebra is central to the idea of computational effect, as it provides a theoretical foundation for the computational operations that give rise to the effect. Recognition of that fact has led to renewed prominence of the notion of Lawvere theory. We study the history of the development, in particular asking why Lawvere theories were eclipsed by monads, and how the renewed interest in them in the setting of computational effects might develop.

          Related collections

          Author and article information

          Conference
          July 2006
          July 2006
          : 1
          Affiliations
          Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh

          King’s Buildings, Mayfield Road, Edinburgh EH9 3JZ, UK
          Article
          10.14236/ewic/MSFP2006.2
          © John Power. Published by BCS Learning and Development Ltd. Workshop on Mathematically Structured Functional Programming (MSFP 2006), Kuressaare, Estonia

          This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

          Workshop on Mathematically Structured Functional Programming (MSFP 2006)
          MSFP
          Kuressaare, Estonia
          2 July 2006
          Electronic Workshops in Computing (eWiC)
          Mathematically Structured Functional Programming
          Product
          Product Information: 1477-9358BCS Learning & Development
          Self URI (journal page): https://ewic.bcs.org/
          Categories
          Electronic Workshops in Computing

          Comments

          Comment on this article