Algebras for parameterised monads
Atkey, Robert; Lenisa, Marina and Tarlecki, Andrzej, eds. (2009) Algebras for parameterised monads. In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009. Lecture Notes in Computer Science, 5728 . Springer, pp. 3-17.
![]() Preview |
PDF
algebras_param_monads.pdf Accepted Author Manuscript Download (248kB)| Preview |
Abstract
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.
ORCID iDs
Atkey, Robert
Item type: Book Section ID code: 34484 Dates: DateEvent2009PublishedKeywords: parameterised monads , algebra, Electronic computers. Computer science Subjects: Science > Mathematics > Electronic computers. Computer science Department: Faculty of Science > Computer and Information Sciences Depositing user: Pure Administrator Date deposited: 12 Nov 2011 11:14 Last modified: 16 Apr 2021 00:44 Related URLs: URI: https://strathprints.strath.ac.uk/id/eprint/34484