>>415
>中国ハイテクの会社 Huaweiね。” focused on topos theory ”か。そういう時代ってことですかねｗ

基礎論廃人が、出没するので、ちょっとゴミ雑談を書いておく
topos（トポス）と聞くと、竹内先生の古典「層 圏 トポス」を思い出す

トポスは、圏論の一種なのだが
ところで、下記 「数学基礎論が衰退したのは何故か？理由を考察」がある
（数理論理学（数学基礎論）スレ その14 https://rio2016.5ch.net/test/read.cgi/math/1553223347/ で知った）

実際、日本でも、数学基礎論の講座がある大学は少なく、神戸大の渕野先生なども、情報系の学科に属していた（下記）
で、圏論が、基礎論の内側か外側か？

素人の私には分からない。でも、基礎論屋さんは「圏論も広義の基礎論内だ」というだろうし
圏論屋さんは「圏論は、従来の基礎論にはとらわれない」って感じかな？
（私は、後者の考えに近い）

そして、21世紀、二人の望月先生、IUTは圏を使った幾何学だと言っているし
D加群の人は、「関手性が重要キーワード」だというから、トレンドは圏論でしょ？

で、言いたいこと、
「定義！ 定義！」で、ブイブイ従来の基礎論的観点を押し付ける基礎論廃人は
なんだか、ちょっと時代錯誤の気がするわけですｗｗ

（参考）
https://www.youtube.com/watch?v=1X8npQqoGkQ
#現役数学者が教える大学数学
数学基礎論が衰退したのは何故か？理由を考察
14,214 回視聴2021/05/13
謎の数学者【アメリカ大学准教授の数学チャンネル】
前回の動画（数学基礎論について）https://youtu.be/jIPjkGPecnE
コメント るなてゃん
修士でモデル理論を勉強していましたが、おっしゃる通りだと思います。私を含め好きな人は好きなんでしょうが、他分野の数学者の関心はほとんどないように感じました。数学を基礎づける分野というより、非常にマニアックな独自の世界といった感想を持ちました。

https://www.youtube.com/watch?v=itBTKEK1t5Y
渕野先生最終講義 867 回視聴2020/12/03
神戸大学オンライン・ホームカミングデイ
(引用終り)
以上