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 で解釈する。 今回でこのテキストは終わり。
あれ？画像が小さい。<br>間違って縮小されてしまったみたいなので、送りなおします。
差し替えておきましたー
次回の圏論勉強会はid:nucさんを誘おうと思っています。
おぉ!<br>ただ、次回のテキストはまだ決まっていないので、id:nucさんの興味に合うものになるかどうか……