mbps https://blog.hatena.ne.jp/mbps/ PS https://mbps.hatenablog.com/ 圏論 Profunctor Monoidal 記法 Monoidal product of profunctors とすると、pseudofunctor: になって は monoidal bicategory になる･･･んだろうなと思う。*1 特に、 は pseudofunctor になる。添字は略･･･するのが計算のコツらしい。 参考文献 Arrows are Strong Monads.pdf *1:証明は恐ろしいのでパス 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmbps.hatenablog.com%2Fentry%2F2015%2F12%2F05%2F025437" title="Monoidal product of profunctors - PS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=%20%28%5Cmathbf%7BPROF%7D%2C%20%5Coverset%7B%5Ccirc%7D%7B%5Ccirc%7D%2C%20%5Coverset%7B%5Ccirc%7D%7B1%7D%29%20%3A%3D%20%5Cmathbf%7BPROF%7D%20 Hatena Blog https://hatena.blog 2015-12-05 02:54:37 rich https://mbps.hatenablog.com/entry/2015/12/05/025437 1.0 100%