m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ その他代数 気付いた モノイド圏 説明 お絵描き 多圏 箱入りのタングルを考える。箱は例えば3次元として、上下の矩形内にn個の点をバラまいてタングルの境界とする。タングルの境界点（マーク点）に圏Cの対象、ストランドに圏Cの射を対応させて、iCラベル付きタングルと呼ぶ。Cラベル付きタングルは、構文的な存在、つまり項と考える。項はCを離れて計算の対象になる。項の変形や縮約が構文論として議論できる。この状況で、 構文論＝タングルの幾何学＝多圏の計算術 意味論は、ラベルを目安に箱入りタングルにCの射を対応させる行為。通常の構文論／意味論と同様に、健全性、十分性、完全性などを議論できる。言語と文法の話になる。構文論を展開する道具が幾何学であるだけだ。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160209%2F1454985450" 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 2016-02-09 11:37:30 rich https://m-hiyama-memo.hatenablog.jp/entry/20160209/1454985450 1.0 100%