TY - GEN
T1 - Algebras for parameterised monads
AU - Atkey, Robert
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
KW - parameterised monads
KW - algebra
UR - http://personal.cis.strath.ac.uk/~raa/algebras-param-monads.html
UR - http://www.springerlink.com/content/j916w6073362715g/
U2 - 10.1007/978-3-642-03741-2_2
DO - 10.1007/978-3-642-03741-2_2
M3 - Conference contribution book
VL - 5728
T3 - Lecture Notes in Computer Science
SP - 3
EP - 17
BT - Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009
A2 - Lenisa, Marina
A2 - Tarlecki, Andrzej
PB - Springer
ER -