Tarmo Uustalu

Interaction laws of monads and comonads

2019 · arXiv (Cornell University)

We introduce and study functor-functor and monad-comonad interaction laws as mathematical objects to describe interaction of effectful computations with behaviors of effect-performing machines. Monad-comonad interaction laws are monoid objects of the monoidal category of functor-functor …