m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ モノイド圏 トレース／コンパクト閉圏 TQFT プログラム意味論 多圏 calculationの訳語に運算を使う。 運算スキーム 構文圏 セマンティック圏 ツリー 複圏 モノイド圏 クローンツリー 余対角付き複圏 デカルト圏 ヘッジ 多圏 モノイド圏 クローンヘッジ 余対角付き多圏 デカルト圏 行列 半加法多圏 半加法圏 運算スキームは、連接（モノイド積、併置）と結合（グルーイング）を持つ。このため、運算スキームの全体は厳密モノイド圏をなす。運算スキームの全体である厳密モノイド圏は、幾何学的なコボルディズム圏の組み合わせ的な表現とみなせる。クローンツリーは、抽象クローンの構成要素となる図形。ローヴェル・セオリーでの（抽象）クローンの使い方は、 Title: Cat… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20151116%2F1447665525" 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 2015-11-16 18:18:45 rich https://m-hiyama-memo.hatenablog.jp/entry/20151116/1447665525 1.0 100%