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