>>680
圏論で重要なのは、
寧ろ本質的でない部分は圏論の言葉で語ろうと思っても語れない、
というような事だと思ってる

>>687
強制法を使って関数解析の問題の独立性を示す、
というような事が最近は割と注目されてるけど、
こういう人も微積は碌に出来ないのかな？