## Heuristics for Monad Rules

I want to show some simple heuristic calculations which show how monad rules stem from a functor adjunction.

## Heuristic Calculations

Suppose we have some sort of duality product, and some "operators" $A$ and $A^*$.

Adjunctions means that \[ \langle y , A x \rangle \equiv \langle A^* y , x \rangle \]

We assume …

Read more