A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
2007
Electronical Notes in Theoretical Computer Science
Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being established a few years later. Monads, although mathematically the less direct and less malleable formulation, rapidly gained precedence. A generation later, the definition of monad began to appear extensively in theoretical computer science in order to model computational effects, without reference to universal algebra.
doi:10.1016/j.entcs.2007.02.019
fatcat:5pmik2frhzf3rdmcbd3xkjvgsm