2016-01-01から1ヶ月間の記事一覧
@deprecated 代わりに String diagram による Yoneda lemma の証明 rev.2 - PS を参照。 (・・・というよりそのための記法) Yoneda lemma 記法.1 Contravariant なので逆さにするんだけど紙面の都合上、 について と書くことにする。 記法.2 Natural transforma…
Comonads in string diagrams Monads in string diagrams - PS を上下さかさまに。 Monoidal comonad Comonad: で : monoidal functor : monoidal natural transformation であるもの。 Monoidal naturality を明記すると: 参考文献 Comonadic Notions of Co…
Monoidal functor Coherence Monoidal natural transformation Monoidal naturality 参考文献 Strings and Stripes. Graphical Calculus for Monoidal Functors and Monads.pdf Frobenius Morphisms of Bicategories.pdf
Monads in string diagrams - PS の記法を使って・・・ Kleisli category Morphism Composition Kleisli adjunction 参考文献 Comonadic Notions of Computation Kleisli adjunction - PS
(Strong monads in String diagrams - PS を更新) Strong monad Strong endofunctors in string diagrams rev.2 - PS Monads in string diagrams - PS で以下を満たすもの: Coherence (これは合っている気がする) 参考文献 Comonadic Notions of Computation
(こうなんじゃないかなあ・・・) Monad Coherence Monad @deprecated (箱の添字 は省略) Coherence @deprecated 参考文献 Strings and Stripes. Graphical Calculus for Monoidal Functors and Monads.pdf
Open box の記法を使って Strong endofunctors in String diagrams - PS を更新。 Strength Naturality Coherence condition 参考文献 Comonadic Notions of Computation
("Open" functorial box - PS が便利なので描き方を更新) 1-category 1-functor 1-functorialilty 1-natural transformation 1-naturality 1-natural transformation @deprecated 参考文献 Strings and Stripes. Graphical Calculus for Monoidal Functors a…
Cofree comonad Data *1 Implementations 再帰的に定義する(合わせ鏡のように)。 Functions 参考文献 Control.Comonad.Cofree *1:iso は真四角にした
Store(Costate) comonad Functions 参考文献 haskell - What is the Store comonad? - Stack Overflow
@deprecated @todo ・・・と言っても Haskell-monads in String diagrams - PS を上下さかさまにしただけ。*1 Haskell-comonad Laws Functions 参考文献 https://hackage.haskell.org/package/comonad/docs/Control-Comonad.html All About Comonads (Part 1).p…