モナドとモナド準同型

セミナー モナド
  1. List(A)
  2. Pow(A) B係数
  3. FPow(A) 有限台、B係数
  4. Bag(A) 有限台、N係数、経験データ
  5. DMeas(A) 有限台、P係数
  6. ProbDMeas(A) 有限台、J係数、保存的＝マルコフ

モナド準同型

  1. List(A) → Bag(A) 順序の忘却、パリク写像
  2. Bag(A) = Meas(A)
  3. Bag(A) → Conv(A) = ProbMeas(A) データの分布化 経験分布
  4. Conv(A) → Pow(A) サポート