2015-10-01から1ヶ月間の記事一覧
(･･･というのは少し嘘かもしれない) Catamorphisms Free monad - PS の より･･･ Free monad 参考文献 Haskell for all: Why free monads matter Control.Monad.Free
再帰の圏論的表現。 Right trace Monoidal category において、natural transformation*1: で、もろもろの coherence 要件を満たすもの。その要件により right trace を次のように描ける: Right trace を持つ monoidal cateogry を right traced monoidal ca…
(ふとひらめいたが役に立つかは分からない) Uncurried Functoriality A naturality Yoneda bijection 記法 命題 円周上で の functoriality や の naturality を使っても矛盾がない･･･というのが Yoneda lemma？ 参考文献 [0908.3347] A survey of graphical…
Identity functor Constant functor Traversable functor Traversable functor laws Traversable functor - PS より･･･ foldMap/foldr 参考文献 Foldable and Traversable - Jakub Arnold Blog
@deprecated 代わりに Applicative functors in string diagrams rev.2 - PS を参照。 以下、curry/uncurry したものは区別にしないことにする。 (右足を上げたり下げたりするだけ) Applicative functor Applicative functor laws Monoidal functors via app…
Identity monad 参考文献 All About Monads - HaskellWiki
Concatenation List monad 参考文献 All About Monads - HaskellWiki
Error monad Maybe monad の を にしただけ。 throw/catch 参考文献 All About Monads - HaskellWiki haskell - Is there no standard (Either a) monad instance? - Stack Overflow
Universality of coproducts Merge morphism Initializing morphism (とはたぶん言わない) Monoidal category with finite coproducts Cocartesian monoidal category ともいう。 命題 Maybe monad 参考文献 [1401.7220] Category Theory Using String Diagr…
Evaluation Continuation monad Flip bijection を使って･･･ callCC ･･･かえって分かりにくい。 参考文献 All About Monads - HaskellWiki
Writer monad 参考文献 All About Monads - HaskellWiki
@deprecated 代わりに Reader monad transformers in string diagrams - PS を参照。 Constant morphism Reader monad を たちにばらまいている。 参考文献 All About Monads - HaskellWiki
Monoidal category にて･･･ Diagonal morphism Naturality Terminating morphism (とはたぶん呼ばない) Naturality これらは、より一般には cartesian monoidal category のときに作れる。 State monad get/put 参考文献 [1203.0202] Pictures of Processes:…
@deprecated 代わりに Haskell-monads in string diagrams rev.2 - PS を参照。 Monoidal category にて･･･ Haskell-monad の flip 版を使った方が分かりやすいみたい。*1 Haskell-monad laws Kleisli composition Haskell-monad @deprecated Haskell-monad …
