確率圏

確率統計 モナド
  1. Stock = MeasStock ： Meas上のジリィモナドのクライスリ圏
  2. SBorelStock = PolStock ： 標準ボレル空間〈ボーランド空間〉上のジリィモナドのクライスリ圏、フリッツはBorelStock
  3. CGStock = CGMeasStock： 可算生成可測空間上のジリィモナドのクライスリ圏
  4. FinStock ： 有限集合に制限したもの。
  5. SMat = StockMat ： 有限集合の代わりに自然数にしたFinStock、マルコフ行列の圏