A Functorial Characterization of Von Neumann Entropy