モナド
モナド(Monad) 次の性質を満たす三つ組(T,η,μ)のこと。 前提 関手 T : C→C 自然変換 η : Id → T, μ : T2 → T 以下の性質を持つ ここで、関手の合成をと書く。関手の射をと書く。 Kleisli Triple 圏C上のKleisli Tripleとは、次の性質を満たす三つ組(T,η,*)の…
モナド(Monad) 次の性質を満たす三つ組(T,η,μ)のこと。 前提 関手 T : C→C 自然変換 η : Id → T, μ : T2 → T 以下の性質を持つ ここで、関手の合成をと書く。関手の射をと書く。 Kleisli Triple 圏C上のKleisli Tripleとは、次の性質を満たす三つ組(T,η,*)の…