PS

Identity monads in String diagrams

Identity monad

f:id:mbps:20151014032604p:plain

参考文献