Entropy: the chain rule in terms of monad algebras

[forest]

---

This is a companion discussion topic for the original entry at https://forest.localcharts.org/dis-0001.xml

[owenlynch]

Thanks @dspivak for being the first person (apart from me) to use forest.localcharts.org, and for this great post! If you (dear reader, not David) want to be the second person to use forest.localcharts.org, but are stymied by technical difficulties, feel free to reach out to me!

[mattecapu]

Uhm very thought-provoking axioms… entropy keeps on giving