Interaction Laws of Monads and Comonads

DOI10.1145/3373718.3394808zbMath1499.68065arXiv1912.13477OpenAlexW3031229557MaRDI QIDQ5145667

Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1912.13477

zbMATH Keywords

comonadsmonadsChu spacesinteraction lawsdual of functoreffectful computationHasegawa glueingSweedler dual of monad

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (7)

Stream processors and comodels ⋮ Runners in Action ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ Protocol choice and iteration for the free cornering ⋮ Runners for interleaving algebraic effects ⋮ Sweedler theory of monads ⋮ Algebraic presentation of semifree monads

This page was built for publication: Interaction Laws of Monads and Comonads