m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 高次圏論 モノイド圏 計算 とととと、で、どんな計算をしていたか。I, J, K, Lとかは非負整数、[I]= {0, 1, ..., I-1}、#([I]) = I とする。対応する小文字i, jなどはI, J上を走る変数。+, * は普通の足し算と掛け算。/, % は余りのある割り算（整除）と余り。I(*)J = [I*J] として、f:[I]→[K], g:[J]→[L]に対して、 (f(*)g)(x) = f(x/J)*L + g(x%L) とする。それと、 x' = τI,J(x) = (x%J)*I + x/J としたとき、τを対称として(N, *, 1)を対象類とする対称モノイド圏となることを示す。特にヤン… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20080425%2F1209114756" 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-04-25 18:12:36 rich https://m-hiyama-memo.hatenablog.jp/entry/20080425/1209114756 1.0 100%