1: \begin{abstract}

2: We show that the essential properties of entropy (monotonicity, additivity

3: and subadditivity) are consequences of entropy being a monoidal natural

4: transformation from the under category functor $-/\mathsf{LProb}_{\rho}$

5: (where $\mathsf{LProb}_{\rho}$ is category of $\rho$-th-power-summable

6: probability distributions, $0<\rho<1$) to $\Delta_{\mathbb{R}}$.

7: Moreover, the Shannon entropy can be characterized as the universal

8: monoidal natural transformation from $-/\mathsf{LProb}_{\rho}$ to

9: the category of integrally closed partially ordered abelian groups

10: (a reflective subcategory of the lax-slice 2-category over $\mathsf{MonCat}_{\ell}$

11: in the 2-category of monoidal categories), providing a succinct characterization

12: of Shannon entropy as a reflection arrow. We can likewise define entropy

13: for every monoidal category with a monoidal structure on its under

14: categories (e.g. the category of finite abelian groups, the category

15: of finite inhabited sets, the category of finite dimensional vector

16: spaces, and the augmented simplex category) via the reflection arrow.

17: This implies that all these entropies over different categories are

18: components of a single natural transformation (the unit of the idempotent

19: monad), allowing us to connect these entropies in a natural manner.

20: We also provide a universal characterization of the conditional Shannon

21: entropy based on the chain rule which, unlike the characterization

22: of information loss by Baez, Fritz and Leinster, does not require

23: any continuity assumption.

24: 

25: \end{abstract}