今日は圏論勉強会だった。写真
檜山さんに classical categories (古典圏?) の話をしようと思っていたが、すっかり忘れてしまった。
classical categories？ きいたことない。1960年代くらいの圏論とか？
じゃなくて、古典論理に対応する圏の話です。<br>以前に「論理から圏へ」で古典論理に対応する圏を作ることの難しさに言及されていたので。
classical categories？ きいたことない。1960年代くらいの圏論とか？
じゃなくて、古典論理に対応する圏の話です。<br>以前に「論理から圏へ」で古典論理に対応する圏を作ることの難しさに言及されていたので。