It lives in \$$\mathrm{FinProb}\$$, and that's the category where "entropy as information loss" naturally appears. I'll fix my comment above. Thanks!