2022.12.10 確率の合成と統計モデル【Giryモナド】 統計モデルではしばしば、( $p(x)$ を省いて) 条件付き確率 $p(y | x)$ のみを考える事があります。また、統計モデルはいくつかの統計モデルを組み合わせて構成される事があります。これらは統計モデルを確率的... 続きを読む
2022.12.01 前層の圏がトポスであることの証明 $\mathcal{Set}$ を集合の圏とし、$\mathcal{C}$ を小圏 (全ての射の集まりが集合である) とします。このとき、前層 $\hat{\mathcal{C}} = \mathcal{Set}^{\... 続きを読む