PS

2016-01-18から1日間の記事一覧

Monads in string diagrams

(こうなんじゃないかなあ・・・) Monad Coherence Monad @deprecated (箱の添字 は省略) Coherence @deprecated 参考文献 Strings and Stripes. Graphical Calculus for Monoidal Functors and Monads.pdf