23/12/09 15:36:34.58 LmzCZrMI.net
>>225
>その分類だとグロタンディークは何なの？
そんな「ナウい」こと聞かれても困る
>～の延長とかは親切じゃないからわざと適当に書いている
他の人からは、知らんからそういう言葉で粗雑に書いてる、と思われてるけどな
>トポスは普通の論理や集合論とは違う所もある
それも馬鹿っぽい 利口ぶりたいなら何がどう違うか的確に書いたほうがいいよ
>関係性がベースなので、狭義の集合論では扱い難い曖昧な構造や対象も扱いやすい
>最近はその威力が段々わかってきたという感じになっている。
>スタックやHoTTでもそういう柔軟性が活きている
利口ぶりたいなら
集合論では何が扱えないのか？
トポスではなぜ扱えるのか？
スタックとは何か？HoTTとは何か？
全部自分の言葉で簡単かつ的確に書いてごらん
できないなら黙るのが一番だよ 第三のひろゆき君って云われるだけだから
>あんたみたいな基準だとこういうざっくりした話ができないね
そもそもトポスとかスタックとかHoTTとか言う言葉は一度も出してない
全部君が言い出したので、君が今までのブルバキズムとは全然違うというなら
具体的に事例を上げた上でどこがどう違うか示すしかない
できないなら・・・黙っとけｗ