Algebraic and coalgebraic perspectives on interaction laws

DOI10.1007/978-3-030-64437-6_10MaRDI QIDQ2038083zbMATH OpenOpenAlexFDO

Authors Tarmo Uustalu, Niels Voorneveld

Publication date 8 July 2021

Full work available at URL https://doi.org/10.1007/978-3-030-64437-6_10

zbMATH Keywords

coeffectscomonad coalgebraseffectsinteraction lawsmonad algebrasmonad morphismsrunners

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Interaction laws of monads and comonads
• Combining algebraic effects with continuations
• Stateful runners of effectful computations
• Algebra and Coalgebra in Computer Science
• Handlers of Algebraic Effects

Cited in

(6)

• Stateful runners of effectful computations
• Applications of algebra and coalgebra in scientific modelling: illustrated with the logistic map
• Interaction laws of monads and comonads
• Stream processors and comodels
• Sweedler theory of monads
• Combining algebraic effects with continuations

This page was built for publication: Algebraic and coalgebraic perspectives on interaction laws

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2038083)