Algebraic and coalgebraic perspectives on interaction laws

DOI10.1007/978-3-030-64437-6_10zbMath1476.68066OpenAlexW3107850630MaRDI QIDQ2038083

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

effectsmonad algebrascoeffectscomonad coalgebrasinteraction lawsmonad morphismsrunners

Mathematics Subject Classification ID

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

Related Items (2)

Stream processors and comodels ⋮ Sweedler theory of monads

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