モナモナ言うモナド入門.tar.gz

11. (モノイダル圏の) モノイド η□M M□η I□M M□M M□I μ λ ρ α M□μ M□M (M□M)□M M□(M□M) M μ□M μ M□M M 12. Monoid a(1) prod (id, mappend’) (a, a), a ((x, y), z) -> (x, (y, z)) a, (a, a) (a, a) prod (mappend’, id) mappend’ mappend’ (a, a) prod (f, g) (x, y) = (f x, g y) a mappend’ = uncurry mappend 13. Monoid a(1) (x <> y) <> z = x <> (y <> z) prod (id, mappend’) (a, a), a ((x, y), z) -> (x, (y, z)) a, (a, a) (a, a)

[hiratara]

#start_haskell LTのスライドをアップしたとこ。