Entropy as a Universal Monoidal Natural Transformation: A Categorical Characterization
The essential properties of entropy (monotonicity, additivity, and subadditivity) are consequences of entropy being a monoidal natural transformation from the under category functor to an integrally closed partially ordered abelian group.