m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 多圏 論理 最近、少しだけ多圏の使い方に慣れてきた。多圏はけっこうバリエーションがある。まず、カットの自由度から、シングルカット多圏とマルチカット多圏がある。シングルカットはワイヤー1本に関してカットする。マルチカットは束（たば；リボン）でカットできる。シーケント計算にならって、多圏の多対象（polyobject）をΓ、Δなどで表す。多対象の長さを|Γ|と書くが、ここでは|Γ|は{1, 2, ..., n}を表すとして、Γの台と呼ぶ。|Γ|⊆Nだが、台は必ず区間の形をしている。多対象を列ではなくて、レコードにしてみる。名前（キー）の集合Kを固定して、レコード{a1:A1, ..., an:An}を考える。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20060817%2F1155784829" 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 2006-08-17 12:20:29 rich https://m-hiyama-memo.hatenablog.jp/entry/20060817/1155784829 1.0 100%