2016-02-01 Monad algebras in string diagrams 圏論 String diagram Monad F-algebra Monad algebra Coherence 参考文献 Comonadic Notions of Computation Eilenberg-Moore adjunction - PS