m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ トレース／コンパクト閉圏 モノイド圏がstrictly commutativeとは、X + Y = Y + X が等式の意味で成り立つこと。対象が自然数モノイドなら、strictry commutativeになる。strictly commutativeだと対称（symmetry）も要らなくなり、計算はやたらに単純化される。しかし、単純化されるといいか、というとそうではない。ブレイドが対称に退化すると不自然な感じがするように、対称さえも退化すると、かえってワケワカラナクなる。僕が90年代にさんざん混乱していたのは、strictly commutativeな状況で考えていたから。しかし現実には、条件（XとYが無共分、ある… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20060720%2F1153375617" title="strictly commutative monoidal category - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-07-20 15:06:57 rich https://m-hiyama-memo.hatenablog.jp/entry/20060720/1153375617 1.0 100%