ぱっぷす＝むぎゅたん
@Pappus_Mugyutan
@kyow_KU それだけじゃなくて、そもそもなんで構造を考えていたのかというところに起因する主張だと思われる。
2016-05-30 15:14:23
ぱっぷす＝むぎゅたん
@Pappus_Mugyutan
@kyow_KU そうではなく、そもそも具体物たちの共通する性質を分析するために構造を見るのであって、構造をさらに抽象化する必要性はふつうの数学をする上で必要ではないように感じるということだと思う。
2016-05-30 15:18:15
GengaQ
@kyow_KU
@Pappus_Mugyutan なるほど ただそれなら僕とかはよくわからない空間と呼んでいいのかもわからない空間達が無数に入り込む様な公理にまで位相空間の公理を弱める意味もわからない 同じでは？
2016-05-30 15:21:58
ぱっぷす＝むぎゅたん
@Pappus_Mugyutan
@kyow_KU いやいや、だから結局それぞれの個別の具体物たちの共通する性質の基礎となるのが構造なわけで、位相空間の構造を持っているものも具体物だけど、圏論は構造に対する抽象化であって、構造を考えない対象に圏論は当てはまらない。
2016-05-30 15:25:10
ぱっぷす＝むぎゅたん
@Pappus_Mugyutan
@kyow_KU だからそういう意味ではメタレベルが上ということだけど、結局具体物を見るのに構造よりメタレベルに立つ必要がないという意味で過度な抽象化だと言われてるということだと思う。
2016-05-30 15:26:29
GengaQ
@kyow_KU
@Pappus_Mugyutan だから結局物を一般化した物と概念を一般化した物と言った差異でモチベがわからないと言われるんだろうなということよね
2016-05-30 15:29:22
ぱっぷす＝むぎゅたん
@Pappus_Mugyutan
@kyow_KU 何でもかんでもメタに立てば良いというものではない。対象レベルがあってそれに対するメタレベルがある。ふつうに数学をやっていて諸構造たちが対象レベルに上がることはそうないので、圏論を考えるモチベは便利かどうか以上にすぐには分からない。
2016-05-30 15:31:48
ぱっぷす＝むぎゅたん
@Pappus_Mugyutan
その手の主張は、圏論を基礎論の一種と思ってやるならわかるが、数学の一種としてやるのはよく分からないということだと思う。
2016-05-30 15:19:14
GengaQ
@kyow_KU
@kyow_KU 自分の想像では、完全列を定義する為に必要最小限の性質を課してみたらたまたまそうなったとかじゃないんかなと予想(安定とかそうでないとかの話は知らない)
2016-05-30 15:41:34
mod_poppo
@mod_poppo
「圏への一般化」というのがどういうのを指しているかはわからないが、例えば加群からアーベル圏に一般化するようなのは割と自然なことだと思える
2016-05-30 15:23:09
ぱっぷす＝むぎゅたん
@Pappus_Mugyutan
圏論が不要かどうかというのも文脈によるし逆に圏論が必要かどうかも文脈による。結局何でもかんでも圏論で議論すれば良いというわけではない。
2016-05-30 15:27:18