トップ «前の日記(2006-10-31) 最新 次の日記(2006-11-04)» 月表示 編集

日々の流転


2006-11-01 [長年日記]

λ. *-autonomous category

これまで「名前からしてきっと難しいに違いない! クワバラクワバラ」とか思って近づいていなかったんだが、檜山さんの「論理とはなにか? (4:完) -- 論理から圏へ」で出てきたので調べてみたら、単に symmetric monoidal closed category に dualizing object ⊥ を追加しただけだった。拍子抜けした……

Tags: 圏論
本日のツッコミ(全2件) [ツッコミを入れる]
ψ rpf (2006-11-03 02:14)

Linear Logic を *-autonomous category でモデル化した Seely は、*-autonomous category を finite product と closed involution を持った symetric monoidal closed category と定義していますね。このほうが finite product がコンテクストを扱うのだろうすぐに想像できるかなと思います。が、A^⊥ を not A として扱うので Girard のオリジナルに近いもので考えるときは dualizing object を考えたほうがよいのかな。まあ、どちらの定義も等価でしょうが、きっと。

ψ さかい (2006-11-03 17:14)

Seely の「Linear logic, *-autonomous categories and cofree coalgebras」には以下のように書かれているので、finite product は *-autonomous category ではなく linear category の条件です。<br># ただし、この linear category は現在使われているものとは異なりますが。<br><br>1.4 Definition. A linear category G is a *-autonomous category with finite products.<br><br>Remarks. For a fuller disussion of *-autonomous category, see Barr [1979]. Here just let me say that G is a closed symmetric monoidal category G with an involution ¬: G^op → G given by dualising object φ : in our notation this means ¬A = A -o φ and the canonical arrow A → ((A -o φ) -o φ) is an isomorphism. (Barr uses * for our ¬.) <br><br>> このほうが finite product がコンテクストを扱うのだろうすぐに想像できるかなと思います。<br><br>コンテキストは基本的にはテンソルで繋げば良いので、単に additive な演算子を解釈するためではないかと思います。