Algebras for Parameterised Monads
- Cite this paper as:
- Atkey R. (2009) Algebras for Parameterised Monads. In: Kurz A., Lenisa M., Tarlecki A. (eds) Algebra and Coalgebra in Computer Science. CALCO 2009. Lecture Notes in Computer Science, vol 5728. Springer, Berlin, Heidelberg
Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monads. We identify the Eilenberg-Moore category of algebras for parameterised monads and prove a generalisation of Beck’s theorem characterising this category. We demonstrate an application of this theory to the semantics of type and effect systems.
Unable to display preview. Download preview PDF.