モナド(Monad) 次の性質を満たす三つ組(T,η,μ)のこと。 前提 関手 T : C→C 自然変換 η : Id → T, μ : T2 → T 以下の性質を持つ ここで、関手の合成をと書く。関手の射をと書く。 Kleisli Triple 圏C上のKleisli Tripleとは、次の性質を満たす三つ組(T,η,*)の…
参考リンク ナウなヤングのためのgithub入門講座 -基本機能からdotfiles管理まで- - tumblr
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。