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

V-alg-d（ZZ） @alg_d

トンネルを抜けるとそこは圏論TLだった

515ひかる @515hikaru

また圏論の話かよ

V-alg-d（ZZ） @alg_d

@515hikaru それな

GengaQ @kyow_KU

@alg_d @515hikaru それな

V-alg-d（ZZ） @alg_d

僕は圏論をやるときは圏論は神だし全ての概念がKan拡張だと思ってやるけど、一方選択公理をやるときはどこで選択公理使ってるかに神経を使うし、そういうもんじゃないのか

ひゃまひょう @hyamaHyo

TLが圏論に関して荒れてたようである。 圏論の歩き方でも触れられているのと同じで「圏論について議論しているはずが、気がついたらほら数学のあり方について議論しているよね？このTL。」 と思いました。

p進大好きbot @non_archimedean

圏論強いマン、たいていオーラが怖い気がする 纏っているものを減らしたら良さそう

ジョージ @Kiriyama_George

圏論好きな人って進化発生生物学も好きそう

水槽ゼリー @Jelly_in_a_tank

ことごとく圏論が使えない世界に住んでいるので、圏論使える世界の人たちを羨ましく眺めてる。

p進大好きbot @non_archimedean

圏論TLに流されずp進の宣伝しておけばよかった