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 …

## Where does the entropy come from?

A natural derivation of the entropy from maximum likelihood.