Interaction laws of monads and comonads

12/31/2019
by   Shin-ya Katsumata, et al.
0

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 interaction laws. We show that, for suitable generalizations of the concepts of dual and Sweedler dual, the greatest functor resp. monad interacting with a given functor or comonad is its dual while the greatest comonad interacting with a given monad is its Sweedler dual. We relate monad-comonad interaction laws to stateful runners. We show that functor-functor interaction laws are Chu spaces over the category of endofunctors taken with the Day convolution monoidal structure. Hasegawa's glueing endows the category of these Chu spaces with a monoidal structure whose monoid objects are monad-comonad interaction laws.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

10/18/2018

Codensity Lifting of Monads and its Dual

We introduce a method to lift monads on the base category of a fibration...
10/23/2017

Nauticle: a general-purpose particle-based simulation tool

Nauticle is a general-purpose numerical solver pursuing the easy adoptio...
06/25/2021

Semialgebras and Weak Distributive Laws

Motivated by recent work on weak distributive laws and their application...
02/05/2019

Integrating Amdahl-like Laws and Divisible Load Theory

Integrating Amdahl's and Amdahl-like laws with Divisible Load Theory pro...
02/08/2021

Distributive Laws, Spans and the ZX-Calculus

We modularly build increasingly larger fragments of the ZX-calculus by m...
10/23/2019

Towards a Complete Picture of Lens Laws

Bidirectional transformation, also called lens, has played important rol...
04/07/2020

A categorical approach to secure compilation

We introduce a novel approach to secure compilation based on maps of dis...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.