mbps https://blog.hatena.ne.jp/mbps/ PS https://mbps.hatenablog.com/ 圏論 定義 命題 Monoidal Traced 再帰の圏論的表現。 Right trace Monoidal category において、natural transformation*1: で、もろもろの coherence 要件を満たすもの。その要件により right trace を次のように描ける: Right trace を持つ monoidal cateogry を right traced monoidal category という。 Left trace Right trace を左右逆にしたもの。 With symmetry 特に、symmetric monoidal category においては とすると right tra… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmbps.hatenablog.com%2Fentry%2F2015%2F10%2F26%2F115950" title="Traced monoidal category - 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=%20A%20%3A%3D%20%5Cmathtt%7B%28%29%7D Hatena Blog https://hatena.blog 2015-10-26 11:59:50 rich https://mbps.hatenablog.com/entry/2015/10/26/115950 1.0 100%