1: \begin{abstract} 

2: Using convex Grothendieck fibrations, we characterize the von~Neumann entropy as a functor from finite-dimensional non-commutative probability spaces and state-preserving $*$-homomorphisms to real numbers.

3: Our axioms reproduce those of Baez, Fritz, and Leinster characterizing the Shannon entropy difference. The existence of disintegrations for classical probability spaces plays a crucial role in our characterization. 

4: \blfootnote{\emph{2020 Mathematics Subject Classification.}  

5: %62F15, %Bayesian inference

6: 18D30, %Fibered categories

7: 81P17 (Primary); %Quantum entropies

8: %81P16, %Quantum state spaces, operational and probabilistic concepts

9: 18C40, %Structured objects in a category (group objects, etc.)

10: 46L53, %Non-commutative probability and statistics

11: 81R15, %operator algebraic methods applied to problems in quantum theory

12: 94A17 (Secondary). %Measures of information, entropy

13: %81R05 %Finite-dimensional groups and algebras motivated by physics and their representations

14: %94A17 %Measures of information, entropy

15: %18D10, %monoidal categories (Fritz used this one) OR 18D99 = Categories with structure

16: %60A05, %Foundations of probability theory--Axioms; other general questions

17: %81P45 (Secondary) %Quantum information, communication, networks 

18: %81P10, %Logical foundations of quantum mechanics; quantum logic 

19: %46M99 (Secondary)%Functional analysis: methods of category theory in functional analysis

20: }

21: \blfootnote{

22: \emph{Key words and phrases.} 

23: Convex category, 

24: disintegration, 

25: %entropy, 

26: Grothendieck fibration,

27: Landauer's principle, 

28: optimal hypothesis, 

29: quantum entropy

30: }

31: \end{abstract}

32: