{"categories":["\u570f\u8ad6","\u5b9a\u7fa9","\u547d\u984c","Monoidal","Traced"],"author_url":"https://blog.hatena.ne.jp/mbps/","author_name":"mbps","width":"100%","image_url":"http://chart.apis.google.com/chart?cht=tx&chl=%20A%20%3A%3D%20%5Cmathtt%7B%28%29%7D","blog_title":"PS","blog_url":"https://mbps.hatenablog.com/","version":"1.0","html":"<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>","title":"Traced monoidal category","provider_url":"https://hatena.blog","published":"2015-10-26 11:59:50","url":"https://mbps.hatenablog.com/entry/2015/10/26/115950","type":"rich","description":"\u518d\u5e30\u306e\u570f\u8ad6\u7684\u8868\u73fe\u3002 Right trace Monoidal category \u306b\u304a\u3044\u3066\u3001natural transformation*1: \u3067\u3001\u3082\u308d\u3082\u308d\u306e coherence \u8981\u4ef6\u3092\u6e80\u305f\u3059\u3082\u306e\u3002\u305d\u306e\u8981\u4ef6\u306b\u3088\u308a right trace \u3092\u6b21\u306e\u3088\u3046\u306b\u63cf\u3051\u308b: Right trace \u3092\u6301\u3064 monoidal cateogry \u3092 right traced monoidal category \u3068\u3044\u3046\u3002 Left trace Right trace \u3092\u5de6\u53f3\u9006\u306b\u3057\u305f\u3082\u306e\u3002 With symmetry \u7279\u306b\u3001symmetric monoidal category \u306b\u304a\u3044\u3066\u306f \u3068\u3059\u308b\u3068 right tra\u2026","height":"190","provider_name":"Hatena Blog"}