腑に落ちない。確率密度関数を使うから“わけわからん”のだと思う。Sは確率的圏〈stochastic category〉（ジリィ型モナドから作られたマルコフ圏）として、統計モデル（と呼ばれるマルコフ核） M:Θ→*X in S がある状況を考える。何らかの意味でベイズ反転して…