記法 Monoidal product of profunctors とすると、pseudofunctor: になって は monoidal bicategory になる・・・んだろうなと思う。*1 特に、 は pseudofunctor になる。添字は略・・・するのが計算のコツらしい。 参考文献 Arrows are Strong Monads.pdf *1:証明…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。