ということで、独立記念日です。

2007-7-8(日)(10:00-17:00) 東京都 (びぎねっと トレーニングルーム) テキスト："Categories, Types and Structures" Section 2.3 (p.15) より 交通アクセス: http://begi.net/modules/xfsection/article.php?articleid=1 出られるかなぁ。

前回の圏論勉強会で出た話の備忘録。今やってるテキストに、"Cartesian category"（カルテシアン圏?とかデカルト圏とか。以下CC）なるものが出てきます。これは、λ計算が成すような Cartesian closed category （カルテシアン閉圏とかデカルト閉圏とか。以下…