>>586
>突っ込んで勉強するときの助けにはならない。
いまの圏論はそれ以前の、「勉強すべきかどうか（勉強したらどうなるのか）」が
分からない（誰も言えない）状況だと思うのだが。

>>587
>彼なりに数学的に健全な圏論の普及に努力してるとは思う．
そのつもりだろうが、もっと頑張らんといかんな
>Toposまで行けば
Toposからがスタート
>しかしながら，圏だとかトポスだとかがすでに数学とは何か？理論とは何か？
>ということを熟考した先達の思考の結晶であり，「出来上がった哲学」だとも言える．
もしそうなら、ここもっと詳しく。
俺には、「無哲学で全く出来上がっていない試論」に見えているので。
>一体世の中の哲学者の野望というのは，既存の哲学ではええいこれが足りない
>ここが論じ足りない我こそはその先鞭をつけたものなりと言いたいというものであり
ここは同意。そういう哲学者を待望するが、しかし今そんな哲学者いる？
いたら教えてほしい