トポロジーと圏論の夜明け 佐野 岳人 | プログラマのための圏論勉強会

[@fdajkfnsavg]

こんなにわかりやすく教えてくださって感動してます

[@ためちゃん寝る]

31:53
ここの流れすき

[@seussdoctor9452]

圏論という言葉は聞いたことあっても一生理解できないだろうと思ってたけど、この講演を見てなんとなくわかって嬉しい。
「対象と、その間の関係を別の枠組みで成立(対応？)させる理論」といったとこでしょうか。

[@GeorgeIter418]

こういうの見てるだけでもおもろいよね

[@absant2913]

境界をとるの下りが(たぶんどの用語を端折ればいいのかわからなかったんだろうな…)判りづらかったｗ
けども、概観はわかってよかったです。それから、位相論わからないと思ってましたが、わからないからベクトル空間に写すという事をやってるんだなというのが一つ安心材料になりましたｗ

[@absant2913]

つべに上げてくださってありがとうございます。

[@しみずハルオ]

円板と円周の連続写像を圏論を使って背理法での証明に感動しました！！

[@小出教代]

上から来るとは？
穴？
ホモロジー？
魚を捌く🐟？

[@absant2913]

コメント、たくさんしなくてもup主は気付くから、編集なり自己返信なり何らかの形でまとめたほうがいいよ。でないと荒らしに見えちゃう。

[@バナな-j5m]

上の次元のチェイン群を境界準同型で送った像になってるってことだよ

[@小出教代]

第3の天を数学で説明せよ^_^

[@小出教代]

♾

[@minoruisobe7758]

普通に圏論を教えてるだけで、プログラマのためになってないよね
説明の中にコード全く無いから特にプログラマを対象とした説明でもない
へー、そうなんだ。面白いね。で、それが明日の仕事にどう役立つの？って感じ
プログラマのためと銘打つなら、圏論の考え方でこのプログラムがこんなに簡潔に書けます！とか、こういう処理に応用できます！とか、そういうもっと即物的な話が聞きたい

[@WillBergson]

これ、プログラミング勉強会ではなくて、数学勉強会なんですよ
プログラマであれば、(いずれ)小手先のプログラミングテクニックではなく、もっと背景にある数学を知りたくなるはずです。
そうなったとき、もう一度このチャンネルの動画を見返してみるといいですよ

[@北島けいすけ]

じゃあ空でも眺めればいいんじゃないですか？空は間違いなく流れていますし、見ていて気持ちが落ち着きますよ。その間は、攻撃的なことも書かなくてすみます。
まず、あなたは空から色々勉強するといいと思います。

[@fdajkfnsavg]

プログラミングのための数学を話しているのではなく、数学をプログラマにわかるように解説してくれてる
日本語は難しい