>>656
ありがとう。すごくよくわかる。
>ハイティング代数⇔直観主義論理。選択公理入れれば古典論理完成。
なども。
でも最初の
>例えばベクトル空間の圏は、cartesian closed にならない。
これがよくわからない。ベクトル空間のような自然なものがなぜ？と
思う。これはcartesian closed 概念が狭いということなの（そんなはず
はないと思うが）？それともベクトル空間が特異だということ（それも
ないと思うが）？それとも？