Entropy, Derivation Operators and Huffman Trees

Simon Burton

We build a theory of binary trees on finite multisets that categorifies, or operationalizes, the entropy of a finite probability distribution. Multisets operationalize probabilitie…