m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 モナド Cが圏のとき、Cを多元環や多元半環と関連付ける方法。Kは体とする。 CのK-線形化とは、ホムセットC(A, B)から自由Kベクトル空間を作って、圏の結合も双線形にする。すると、K-ベクトル空間で豊饒化された圏が出来る。 CのK-圏多元環（圏環、圏代数）とは、Mor(C）から自由Kベクトル空間を作って、（結合できないときは0にして）圏の結合を掛け算として導入する。K-多元環ができる。 ピーター・セリンガーのND(C)。ホムセットC(A, B)のベキ集合を作って、D(A, B) = Pow(C(A, B)) として圏を作る。 Cの圏半多元環。Pow(Mor(C)) に圏の結合から掛け算を入れる。足… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20130601%2F1370064751" 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 2013-06-01 14:32:31 rich https://m-hiyama-memo.hatenablog.jp/entry/20130601/1370064751 1.0 100%