トップ «前の日記(2007-06-23) 最新 次の日記(2007-06-26)» 月表示 編集

日々の流転


2007-06-24 [長年日記]

λ. 第三十回圏論勉強会

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

檜山さんに classical categories (古典圏?) の話をしようと思っていたが、すっかり忘れてしまった。

Tags: 圏論
本日のツッコミ(全2件) [ツッコミを入れる]
ψ m-hiyama (2007-06-29 09:58)

classical categories? きいたことない。1960年代くらいの圏論とか?

ψ さかい (2007-06-29 19:13)

じゃなくて、古典論理に対応する圏の話です。<br>以前に「論理から圏へ」で古典論理に対応する圏を作ることの難しさに言及されていたので。