Algebras for Parameterised Monads

  • Robert Atkey
Conference paper

DOI: 10.1007/978-3-642-03741-2_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5728)
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Robert Atkey
    • 1
  1. 1.LFCS, School of InformaticsUniversity of EdinburghUK

Personalised recommendations