License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CALCO.2015.290
URN: urn:nbn:de:0030-drops-55404
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5540/
Go to the corresponding LIPIcs Volume Portal

Pirog, Maciej ; Wu, Nicolas ; Gibbons, Jeremy

Modules Over Monads and Their Algebras

pdf-format:
20.pdf (0.4 MB)

Abstract

Modules over monads (or: actions of monads on endofunctors) are structures in which a monad interacts with an endofunctor, composed either on the left or on the right. Although usually not explicitly identified as such, modules appear in many contexts in programming and semantics. In this paper, we investigate the elementary theory of modules. In particular, we identify the monad freely generated by a right module as a generalisation of Moggi's resumption monad and characterise its algebras, extending previous results by Hyland, Plotkin and Power, and by Filinski and Stovring. Moreover, we discuss a connection between modules and algebraic effects: left modules have a similar feeling to Eilenberg–Moore algebras, and can be seen as handlers that are natural in the variables, while right modules can be seen as functions that run effectful computations in an appropriate context (such as an initial state for a stateful computation).

BibTeX - Entry

@InProceedings{pirog_et_al:LIPIcs:2015:5540,
  author =	{Maciej Pirog and Nicolas Wu and Jeremy Gibbons},
  title =	{{Modules Over Monads and Their Algebras}},
  booktitle =	{6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
  pages =	{290--303},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-84-2},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{35},
  editor =	{Lawrence S. Moss and Pawel Sobocinski},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5540},
  URN =		{urn:nbn:de:0030-drops-55404},
  doi =		{10.4230/LIPIcs.CALCO.2015.290},
  annote =	{Keywords: monad, module over monad, algebraic data types, resumptions, free object}
}

Keywords: monad, module over monad, algebraic data types, resumptions, free object
Collection: 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
Issue Date: 2015
Date of publication: 28.10.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI