PS

Kleisli

Reader monad transformers in string diagrams

(図にしてみれば怖くない・・・かも) Reader monad transformers Reader monads 上図の太枠を取り除いたもの。 参考文献 transformers: Concrete functor and monad transformers | Hackage scala - Is it just a coincidence that Kleisli, ReaderT, and Reade…

Kleisli categories in string diagrams

Monads in string diagrams - PS の記法を使って・・・ Kleisli category Morphism Composition Kleisli adjunction 参考文献 Comonadic Notions of Computation Kleisli adjunction - PS