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. (https://doi.org/10.1007/978-3-642-03741-2_2)

Preview

PDF. Filename: 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 ORCID: https://orcid.org/0000-0002-4414-5047

• Share and Export
  

  ASCII CitationEP3 XMLRIS (EndNote Online, Zotero, Ref manager, etc)HTML CitationOpenURL ContextObject in SpanRIOXX2 XMLRDF+N-TriplesBibTeXMPEG-21 DIDLMODSRefWorksRDF+N3Multiline CSVJSONDublin CoreData Cite XMLSimple MetadataEndNoteAtomMETSOpenURL ContextObjectRDF+XMLRefer
• Item metadata

  Item type:	Book Section
  ID code:	34484
  Dates:	Date Event 2009 Published
  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:	11 Nov 2024 14:45
  Related URLs:	Author Journal or Publication
  URI:	https://strathprints.strath.ac.uk/id/eprint/34484