>>175
ただ、さすがに9年も経ってるからだいぶ整理されて、
例えばフロベノイドも既存の言葉、グロタンディークファイブレーションなどを用いて定義できる事が分かっている
そしてその結果、複雑な定義以上に得るものはないだろうと