2015-12-05 Monoidal product of profunctors 圏論 Profunctor Monoidal 記法 Monoidal product of profunctors とすると、pseudofunctor: になって は monoidal bicategory になる・・・んだろうなと思う。*1 特に、 は pseudofunctor になる。添字は略・・・するのが計算のコツらしい。 参考文献 Arrows are Strong Monads.pdf *1:証明は恐ろしいのでパス