m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 以下の絵は、新しいスタイルのトレース付き圏（トレース付きバランス圏とその特殊化）の公理を表しています。（長谷川真人さんの "On Traced Monoidal Closed Categories", 28 November 2007 より、「トレース付きモノイド圏の新しい定義」から再掲。）ここで、タイトニング（Tightening）が自然性（Naturality）とも呼ばれています。これは、トレースが自然変換の性質を持つことですが、毎回「どこが自然なんだっけ？」と忘れてしまいます。なので、ここにメモしておきます。子供が小さい頃、世田谷公園は良い遊び場でした。上の子（兄）がある程度大きくなって… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20130928%2F1380351699" title="トレースのタイトニングが自然変換であること - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://www.chimaira.org/img2/traced-cat-axioms-3.gif Hatena Blog https://hatena.blog 2013-09-28 16:01:39 rich https://m-hiyama.hatenablog.com/entry/20130928/1380351699 1.0 100%