Variations on Algebra: Monadicity and Generalisations of Equational Therories
E. Powell Robinson · Formal Aspects of Computing · 2002
Abstract. This is a largely tutorial paper about the categorical notion of monad and the ways in which monads on different categories correspond to variations on the standard notion of algebraic theory.