2007-04-28 [長年日記]
λ. 第二十八回圏論勉強会
今日は圏論勉強会。
会場はいつもの所ではなく、びぎねっと様のトレーニングルーム。大きいディスプレイがあり、ネットワーク環境もあり、便利だった。感謝。
Wikiにあがっていない話では、「braidは環境(ambient)の次元を上げればsymmetryになる」という話が面白かった。
λ. Advanced Topics in Programming Languages Series: Parametric Polymorphism by Phil Gossett
syd_sydさんのらくがきえんじん(2007-04-24)で紹介されていたので観た。Girard-Reynolds Isomorphism と Djinn の簡単な紹介。
Djinn は Reynolds embedding : F2→P2 に基づいている? 扱われている例は単純な命題論理の範囲を超えてないので、普通に直観主義命題論理の決定手続きを応用すれば良いんじゃないかとも思ってしまう。
関連
[ツッコミを入れる]
