PS

Haskell-comonads in String diagrams

@deprecated

@todo

・・・と言っても Haskell-monads in String diagrams - PS を上下さかさまにしただけ。*1

Haskell-comonad

f:id:mbps:20160110011357p:plain

Laws

f:id:mbps:20160110011900p:plain

Functions

f:id:mbps:20160110011417p:plain

参考文献

*1:さかさまだから m が w になる・・・というわけではたぶんない