m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 トレース／コンパクト閉圏 Γ ⇒ Δ がシーケントだとする。Γ ⇒ または ⇒ Δ の形を片側（one-sided）シーケントと呼ぶ。例えば、 ⇒ Δ だけを考えて片側シーケント計算ができる。双対的に、Γ ⇒ だけの計算もできる。これは一見ナンセンスに見えるがそうではない。まず、両側シーケントがいつでも片側にできるわけではない。非古典論理では、片側に変形できないものがある。この片側にできる／できないが、圏、複圏、多圏の違いに（ある程度は）関係している。片側にできると、それは圏が非常に高い対称性をもっていることになる。典型的な例は、コンパクト閉圏。この文脈では、片側シーケントは、name, conameに対応する。別な言… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20081219%2F1229664580" 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 2008-12-19 14:29:40 rich https://m-hiyama-memo.hatenablog.jp/entry/20081219/1229664580 1.0 100%