(どうもこっちの方が断然良さそう) 1-functoriality Lax functoriality 参考文献 Strings and Stripes. Graphical Calculus for Monoidal Functors and Monads.pdf Frobenius Morphisms of Bicategories.pdf

こちらは Haskell Advent Calendar 2015 - Qiita の 20 日目の記事です。 前の日･･･Hakyllでブログを作る(実践編) - Wake up! Good night* 次の日･･･「第2期 H本読書会 in 秋葉原」を終えて #readhbon #haskell - セカイノカタチ String diagram String diag…

こちらは TeX ＆ LaTeX Advent Calendar 2015 - Adventar の 15 日目の記事です。 前の日･･･LaTeXの相互参照はいつでも解決（収束）するのか？ - Qiita 次の日･･･\mathchoice の闇 - TeX Alchemist Online lambda-lists TikZ と格闘中に lambda-lists (lambd…

Arrow Arrow-fragment に を加えたもの。 命題 Arrow と strong promonad は同値。 証明 ･･･は終わりそうもないが対応はたぶんこう: (symmetry は省略) 参考文献 Arrows are Strong Monads.pdf

Pro-embedding - PS Monoidal product of profunctors - PS の続き。 Monoidal category において･･･ 記法 Strong endoprofunctor Strong endoprofunctor とは、endoprofunctor: endoprofunctor: natural transformation: (strength) で、以下を満たすもの: …

記法 Monoidal product of profunctors とすると、pseudofunctor: になって は monoidal bicategory になる･･･んだろうなと思う。*1 特に、 は pseudofunctor になる。添字は略･･･するのが計算のコツらしい。 参考文献 Arrows are Strong Monads.pdf *1:証明…

(･･･とでも呼ぶことにする) 命題 Pseudofunctor: を次のようにして定義できる: 参考文献 Arrows are Strong Monads.pdf

(･･･と言っても String diagram での monoidal functor - PS と見た目は同じ) Lax functor Bicategory: について、lax functor とは、 のトリプルで以下を満たすもの: Binary functor を bifunctor と呼んでしまったので bifunctor とは呼べなくなっている。…