The Giry tricocycloid

Richard Garner – 7 March 2018

In arXiv:1607.02790, Bart Jacobs expresses in a fancy way the process of turning a subprobability distribution (i.e., total measure is <=1) into a probability distribution (total measure 1). We make the result even more fancy by explaining it in terms of an abelian tricocycloid in the category of sets.