Applicative Functors with Strings Applicative functor の記事をまとめました。 strcat/strapp.pdf at master · okomok/strcat · GitHub

(役に立つような立たないような･･･) Comma operator Evaluation operator Applicative functors To monoidal functors とすると LiftAn 以上から直ちに: 参考文献 Applicative functors in String diagrams - PS

Applicative morphism 二つのapplicative functor: の間のmorphismを を満たすnatural transformation: とする。 Monoidal morphism Applicative functorはmonoidal endofunctorで表現できたので、同様に 二つのmonoidal endofunctor on monoidal or : の間…

命題 Haskell-monad: について、 とすると、 は、applicative。 系 monoidal category: monad: について、 とすると、 はmonoidal endofunctor on になる(と思う)。 参考文献 haskell - How to show that a monad is a functor and an applicative functor? …

記法 とする。 特に、 のとき、free theoremを想定すれば、naturalityの要件は自明となる。 Monoidal sets は、productとsingleton setにより、monoidal category: を成す。 Monoidal endofunctor over sets Monoidal endofunctor: とは、 endofunctor: natu…