PS

Monads in string diagrams

(こうなんじゃないかなあ・・・)

Monad

f:id:mbps:20160131045729p:plain

Coherence

f:id:mbps:20160131045739p:plain

Monad @deprecated

f:id:mbps:20160123214809p:plain

(箱の添字  T は省略)

Coherence @deprecated

f:id:mbps:20160123214753p:plain

参考文献