>>692
それって漠然としすぎでほとんど何も言ってないようなものだと思う。
そこに圏の性質と不可分なものなんてあるの？

>>693
>寧ろ本質的でない部分は圏論の言葉で語ろうと思っても語れない、
本質的な部分ってなに？

>強制法を使って関数解析の問題の独立性を示す、
>というような事が最近は割と注目されてるけど、

強制法のどこで微積を使うの？
関数解析だから微積やるとは限らない。

>>694の通り好事家は数学の基礎とか普遍的な原理みたいなものにひかれて基礎論圏論に興味持ちやすい