2008-04-24 行列疑半環は厳密 高次圏論 計算 具体例 行列の対角和とクロネッカー積の半環は、単位律も結合律もon-the-noseで成立する。2つのpermutative圏の構造を持つ。具体的な添字計算で分かる。