m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ トレース／コンパクト閉圏 ホッピングボール 気付いた [追記]このエントリー、かなり間違いが含まれる。が面白いところもある。明かな間違いは消し線付ける。[/追記]Cは単一対象の圏だとする。つまり、|C| = {*}で、Cは結合;に関してモノイド。Cの対象には *×* = * というトリビアルな積を入れて、Cはモノイド圏になっているとする。つまり、Cは;と×という2つのモノイド演算を持つ代数系。積×は対称だとするとこれは可換演算。さらにCにトレースが入っているなら、f:*→*は、f:*×*→*×* とみなして、Tr(f):*→* となるから、TrはC上にwell-definedな単項演算とみなせる。[追記]モノイダルモノイドにエクマン／ヒルトンの手… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20080514%2F1210760598" title="トリビアルが役に立つ話 -- トレースがそのままスターになる - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2008-05-14 19:23:18 rich https://m-hiyama-memo.hatenablog.jp/entry/20080514/1210760598 1.0 100%