可測空間と可測写像の圏はよく調べられていて、ジリィ・モナド（Giry monad）のベースとして使われたりしています。しかし、測度空間の圏や確率空間の圏はあまり使われません。素朴に定義すると、使い勝手が悪くて実用性が乏しい感じです。ホムセットに同値…