>>754
(引用開始)
大きな圏が必要不可欠と思うのは
大きな絵しか見えない素人だけ
数学では圏は適宜小さな圏に縮小して扱える
そういう小さな技巧を知らん素人が
「圏論は集合論を超えました！」
と絶叫してフッチーノ氏とかに
たしなめられる（笑）
(引用終り)

1）だったらさ、>>752の Anthropicの発表の詳細にアクセスして
　フェルマーが グロタンディク宇宙なしで 証明されているかどうか？
　あんた 確認しなｗ
2）世に 万能ハサミがある。薄いトタンの鉄板くらい切れるやつ
　（普通のハサミは 刃こぼれ）
　同様のことは 数学では多数
　卑近な例は 代数方程式解法と 小学校算数か
　複素関数論は 多く実関数論の上位互換だろうさ
　ある積分問題が 複素関数論でも 実関数論でも 解けるとする
　複素関数論まで勉強しておけば良いってこと（高木 解析概論にある）

同様に、グロタンディク宇宙を使って
すっきりするならば
人間には その方が快適だということよｗ（＾＾