foobarhoge 2013/11/11 10:34 そうですね。ここでいう構造主義的なアプローチのことです。僕が言いたかったのは。数学的な概念同士がモジュールで繋がってる、みたいな感じですね。 計量ベクトル空間の件ですが、あれは圏論の層の概念に当たるんですね。今 w…