Algebras for parameterised monads

Atkey, Robert (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 - Submitted Version
Download (242Kb) | Preview

Official URL: http://dx.doi.org/10.1007/978-3-642-03741-2_2

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.

Item type:	Book Section
ID code:	34484
Keywords:	parameterised monads , algebra, Electronic computers. Computer science
Subjects:	Science > Mathematics > Electronic computers. Computer science
Department:	Faculty of Science > Computer and Information Sciences
Related URLs:	Author Journal or Publication
Depositing user:	Pure Administrator
Date Deposited:	12 Nov 2011 11:14
Last modified:	06 Oct 2012 09:34
URI:	http://strathprints.strath.ac.uk/id/eprint/34484

Actions (login required)

View Item

Algebras for parameterised monads

Abstract

Actions (login required)

Fulltext Downloads: