m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 トレース／コンパクト閉圏 シーケント計算は、別に論理と考える必要はなくて、単なる計算法と割り切ったほうがいいようだ。トレース付き対称多圏（traced symmetric polycategory）を考えることはできる。そこでの計算はシーケント計算が便利。まずは、トレースによるカット（trace-cut）を基本推論として導入する。 Γ, x ⇒ Δ, x ----------------[trace] Γ ⇒ Δトレース・カットを使って伝統的なカットを導いてみる。 Γ ⇒ Δ, x x, Φ ⇒ Ψ -------------------------[monoidal product] Γ, x, Φ ⇒ Δ, x, … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20060726%2F1153889775" 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-07-26 13:56:15 rich https://m-hiyama-memo.hatenablog.jp/entry/20060726/1153889775 1.0 100%