m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 可測空間と可測写像の圏はよく調べられていて、ジリィ・モナド（Giry monad）のベースとして使われたりしています。しかし、測度空間の圏や確率空間の圏はあまり使われません。素朴に定義すると、使い勝手が悪くて実用性が乏しい感じです。ホムセットに同値関係を入れると状況は改善されます。内容： 合同を持つ圏 対象の同値性 測度空間の圏 測度空間の圏に合同を定義する 同値な測度空間の例 合同を持つ圏Cを圏として、ホムセットC(A, B)ごとに同値関係〜A,Bが指定されているとします。念の為に詳しく書くと： 〜A,Bは、集合C(A, B)上の二項関係である。 f 〜A,B f （f∈C(A, B)）。 … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20150708%2F1436345259" title="合同を持つ圏と測度空間の圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%5Cstackrel%7B%5Csim%7D%7B%3D%7D Hatena Blog https://hatena.blog 2015-07-08 17:47:39 rich https://m-hiyama.hatenablog.com/entry/20150708/1436345259 1.0 100%