トップ «前の日記(2009-01-10) 最新 次の日記(2009-01-12)» 月表示 編集

日々の流転


2009-01-11 [長年日記]

λ. 第四十八回圏論勉強会

今日は圏論勉強会だった(写真)。

今回は、S. Abramsky "Temperley-Lieb algebra: From knot theory to logic and computation via quantum mechanics" の 7.3 Interpretation in Pivotal Categories で、前回導入した線形ラムダ計算の一種を pivotal category、特にテンパリー・リーブ圏 TL で解釈する。 今回でこのテキストは終わり。

関連

Tags: 圏論
本日のツッコミ(全4件) [ツッコミを入れる]
ψ たけを (2009-01-12 15:07)

あれ?画像が小さい。<br>間違って縮小されてしまったみたいなので、送りなおします。

ψ さかい (2009-01-12 16:20)

差し替えておきましたー

ψ oskimura (2009-01-13 14:32)

次回の圏論勉強会はid:nucさんを誘おうと思っています。

ψ さかい (2009-01-14 08:25)

おぉ!<br>ただ、次回のテキストはまだ決まっていないので、id:nucさんの興味に合うものになるかどうか……