Monads in Semantics
Philip S. Mulry · Electronic Notes in Theoretical Computer Science · 1998
In this extended abstract we provide a very brief overview of the notion of a monad along with some examples of applications to programming language semantics. The treatment is by no means exhaustive but rather chooses examples and results that either illustrate the wide variety of uses of this abstract tool or which bear some connection to other work presented at the workshop. The abstract begins with some preliminary definitions and examples, proceeds to categories of algebras and ends with some results and examples of the author using monadic lifting.