http://watanabe-www.math.dis.titech.ac.jp/users/swatanab/Renshu_0.pdf このテキストでは、確率分布＝確率変数による前送り測度。確率変数は、確率空間（の台可測空間）からのRへの可測写像。

ヘミトレースは、対称モノイド圏に入るコンビネータ HX,A,Y: C(A, XY) → C(XA, Y) バニシング、タイトニング、スライディング、スーパーポージングはトレースと同じ。ヤンキングに対応する公理をクロッシングとする。 f;HX,XX,X(σX,X) = σA,X;HX,A,X(f) ヘミ…

http://www.paoloperrone.org/phdthesis.pdf に色々書いてある。面白い。 カントロビッチモナドの台関手がカントロビッチ／ワッサースタイン関手。 たちの良い距離空間Xに対して Wass(X) をワッサースタイン空間と呼ぶ。ワッサースタイン空間の台集合はラド…