Algebras for Parameterised Monads

DOI10.1007/978-3-642-03741-2_2zbMath1239.18006OpenAlexW1950578019MaRDI QIDQ2888473

Robert Atkey

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://strathprints.strath.ac.uk/34484/

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (4)

Duoidally enriched Freyd categories ⋮ A representation theorem for second-order functionals ⋮ Unnamed Item ⋮ Dependent Types and Fibred Computational Effects

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Variations on algebra: Monadicity and generalisations of equational theories
• Notions of computation and monads
• Modelling environments in call-by-value programming languages.
• Parameterised notions of computation
• Reading, Writing and Relations
• Computer Science Logic
• Programming Languages and Systems

This page was built for publication: Algebras for Parameterised Monads