位相空間への一般化は当然の一般化と言われ、圏への一般化は無意味な抽象化となじられる所以がわからない

GengaQ @kyow_KU

@shannon_mth クソリプ

茶飲 @shannon_mth

@kyow_KU いや、めちゃくちゃ真面目な顔をして言ったつもり…

GengaQ @kyow_KU

@shannon_mth つもり

茶飲 @shannon_mth

@kyow_KU どのへんがクソリプですか？

GengaQ @kyow_KU

@shannon_mth 言葉の綾

茶飲 @shannon_mth

〇〇な性質はどこまで条件を緩めて成り立つか、みたいなチャレンジがマニアックに見えるだけのような気がする

GengaQ @kyow_KU

@shannon_mth 別にそんなチャレンジはしてへんやろ

茶飲 @shannon_mth

@kyow_KU じゃあregular categoryでやってみましょうみたいな話を聞いてもうーんってなる現象だと思いました

GengaQ @kyow_KU

@shannon_mth reguler categoryを知らないから使ってないからの一如では

茶飲 @shannon_mth

@kyow_KU 結局そういうことだし、嬉しみの分からない何かに一般化しても嬉しみがないというだけのような気がします

GengaQ @kyow_KU

@shannon_mth 位相空間に一般化する嬉しみもあんまりわからないと思うんですが

茶飲 @shannon_mth

@kyow_KU 位相空間を十分分かった気になると嬉しみが生えるんでしょうか

GengaQ @kyow_KU

@shannon_mth 分かった気になるというのがわからんけど、それそのものを面白いと思い始める事で成立するでしょ

茶飲 @shannon_mth

@kyow_KU 確かに(個人的には圏への一般化も位相空間への一般化も有意義さの印象としては差はないかなあという感じです)

GengaQ @kyow_KU

@shannon_mth 我もそう思う

ぴあのん @piano2683

@shannon_mth @kyow_KU regular categoryの話はabelianな世界とlogicの世界の両方に共通して出てくる構造だから面白い。もう少し強い構造を考えるとabelianとlogicalが両立しなくなる。

茶飲 @shannon_mth

@piano2683 @kyow_KU なるほど(すみませんでした)

茶飲 @shannon_mth

圏論というか、単純に圏という言葉を禁止されるとつらい生活を強いられる気がする

p進大好きbot @non_archimedean

圏論があまり得意でない。何故ならtex化する時図式が邪魔だから。 （地の文には役に立つけれども）

. @8_u8

圏論は魔術

きーれ(galois495) @masa_cosmos

圏論は魔術、覚えましたし

KAGAMI_Hiromichi @kagamihr

圏論難しいので書いておきます。頭が柔らかい若いときにやっておいてください。

原子心母 @atomotheart

# 一般化と抽象化の違い 有意味か無意味か？はコンテクスト依存するので、この事例だけ取り出しても何とも言えない>RT

原子心母 @atomotheart

つまり、コンテクストに関係なく一般論として「圏論への一般化は無意味」という発言はあまり気に止める必要はない

原子心母 @atomotheart

それとは別に圏論嫌いな人が、あまり分からないけど取り敢えず 批判しとけ！という時の決まり台詞にはなってると思う。 で、圏論が嫌いだという人と議論して明確な理由を語る人もいるけど、大体は自分がよく分かってないから嫌い、という理由が多かった