PS

Monad algebras in string diagrams

Monad algebra

f:id:mbps:20160201103513p:plain

Coherence

f:id:mbps:20160201103519p:plain

参考文献