2016-01-22 Kleisli categories in string diagrams 圏論 Monad String diagram Kleisli Monads in string diagrams - PS の記法を使って・・・ Kleisli category Morphism Composition Kleisli adjunction 参考文献 Comonadic Notions of Computation Kleisli adjunction - PS