2016-02-10 Applicative functors in string diagrams rev.2 圏論 Monoidal Applicative Haskell String diagram (役に立つような立たないような・・・) Comma operator Evaluation operator Applicative functors To monoidal functors とすると LiftAn 以上から直ちに: 参考文献 Applicative functors in String diagrams - PS
2016-02-04 Reader monad transformers in string diagrams 圏論 Monad Kleisli Haskell (図にしてみれば怖くない・・・かも) Reader monad transformers Reader monads 上図の太枠を取り除いたもの。 参考文献 transformers: Concrete functor and monad transformers | Hackage scala - Is it just a coincidence that Kleisli, ReaderT, and Reader are the same in Scalaz - Stack Overflow
2016-02-03 Haskell-monads in string diagrams rev.2 圏論 Monad Haskell (・・・といっても Monads in string diagrams - PS にするしかなさそう) Haskell-monads To monads とすると 参考文献 Haskell-monad - PS
2016-02-01 Monad algebras in string diagrams 圏論 String diagram Monad F-algebra Monad algebra Coherence 参考文献 Comonadic Notions of Computation Eilenberg-Moore adjunction - PS