日々の流転

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

今日は圏論勉強会だった(写真)。 昨日RHG読書会で今日は圏論勉強会、二日連続はやっぱりちょっと疲れるね。

前回やりのこした6.4節の残りでは、テンパリー・リーブ圏TLに対してスターやダガーを定義して strict pivotal dagger category にして、3節で定義したDと strict pivotal dagger category として同型であることを示す。 それから、7節に入ってラムダ計算の導入。ここで考える型付け規則は線形ラムダ計算のものになっていて、次回はこれを pivotal category で解釈する模様。

KellyとLaplazaのCoherence for compact closed categoriesのPDFはElsevierにあるけど$31.50もする……