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

以下、1-category において･･･ Monoidal category of endoprofunctors @ignore Bicategory of profunctors: で、特に profunctor の domain と codomain を 1-category に固定すると、monoidal category: を作れる。 Bicategory of 1-profunctors Arrow-frag…

Symmetric closed monoidal category において･･･ Profunctor なる形の -erirched functor のことを と書き、-enriched profunctor と呼ぶことにする。 1-category of profunctors Horizontal composition of profunctors Profunctor: について とすると coe…