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