PS

Haskell-monads in String diagrams

@deprecated

代わりに Haskell-monads in string diagrams rev.2 - PS を参照。

Monoidal category  (\mathcal{Set},\times, \lbrace \ast \rbrace) \sim (\mathcal{Hask}, \mathtt{(,)} , \mathtt{()} ) にて・・・

Haskell-monad

 \mathtt{>>=} の flip 版を使った方が分かりやすいみたい。*1

f:id:mbps:20151101222909p:plain

Haskell-monad laws

f:id:mbps:20151101224734p:plain

Kleisli composition

f:id:mbps:20151101232247p:plain

Haskell-monad @deprecated

f:id:mbps:20151009043705p:plain

Haskell-monad laws @deprecated

f:id:mbps:20151009043606p:plain

Monoid 感が出ている・・・ような。

参考文献

  1. Monad - HaskellWiki
  2. [1401.7220] Category Theory Using String Diagrams
  3. Introduction to Comonads.pdf

*1:参考文献 3.