PS

Free monads in String diagrams

(・・・というのは少し嘘かもしれない)

Catamorphisms

Free monad - PS \mathtt{cata} より・・・

f:id:mbps:20151029031815p:plain

Free monad

f:id:mbps:20151029031821p:plain

参考文献