圏と関手【圏論とモナド #1 / 数学解説】

No video

圏と関手【圏論とモナド #1 / 数学解説】

Рет қаралды 13,794

Күн бұрын

1. 圏と関手 : これ
2. 自然変換と合成 : • 自然変換と合成【圏論とモナド #2 / ...
3. プログラミングとモナド : • モナド【圏論とモナド #3 / 数学解説】
圏論の基礎からスタートし、最短でモナドを理解できるように解説します！
よろしければチャンネル登録・各種SNSのフォローお願いします！
【チャンネル登録】
/ @hojominori
【折り紙チャンネル】
/ hojoorigami
【Twitter】
/ hojo_origami
【Orimath / GitHub】
github.com/min...

Пікірлер: 27

@hanskelsen5396 Ай бұрын

とっても簡明な説明、本当に分かりやすいですね~圏論の枠を掴んだ気がします。ありがとう~

@acceltokyo-9856 2 жыл бұрын

9:32 これって「比喩」じゃないですか!?!?!?(めっちゃ感動してる)

@169harumaru7 2 жыл бұрын

親友の好きピの例わかりやすい

@pseudomelfolium 2 жыл бұрын

モナドではなくabc予想から気になってやってきましたが、定義については何となくですが理解できたような気がします今まで「集合や群とかの数学的構造すら対象とした何か」という程度の知識しかなかったのでとてもありがたかったです

@finemusicselection8500 2 жыл бұрын

「2つの射 f, g が等しい」の定義は、文脈に寄るんですね。Set の写像とか。

@meratory 7 ай бұрын

名前が豊穣で圏の解説とは笑いが止まりません

@andreemery4964 13 күн бұрын

Why was this in my recommended... at least math is a universal language :)

@user-oq2di9wb3d 2 жыл бұрын

なるほど、豊穣圏が名前の由来でしたか。。。

@user-hr6sg9zh5z 2 жыл бұрын

なるほどね。完全に理解した

@pamiamin 4 ай бұрын

めちゃめちゃわかりやすかったです

@KyoukiEgao2357 2 жыл бұрын

理解できるまで何度か通わせて頂きます、、、

@yosiakifukuhara1255 Жыл бұрын

勉強になりましたありがとうございます。しかし、これだけ精密に定義をして何をしようとするのでしょうか？例えば、ナントカの定理を証明するためには、圏を定義しないといけないとか？

@drinker7644 2 жыл бұрын

プログラミング激弱だけど代数に強い脳みそのがいいのかなー自分は解析の方がスッと頭に入ってきて代数とか幾何は最近面白さが少しわかった

@hisao_chess 2 жыл бұрын

今まで見た説明の中で最も分かりやすかったです。ありがとうございます。ミノリさんはどうやって圏論に入門されましたか。「ベーシック圏論」でしょうか。大学学部の１～２年で習う微分積分、線形代数、集合・位相、群論は既知とした場合、おすすめの圏論への入門方法があれば教えていただきたいです。

@HojoMinori 2 жыл бұрын

私は「ベーシック圏論」で入門しました！他の本は読んでいないのでオススメできるものは上記のみです、すみません…💦 集合を理解していれば前提知識としては充分だと思います。群論や線形代数は「知ってたら具体例の理解に役立つ」くらいかなーと。

@kandabako Жыл бұрын

8:10 人間の三角関係で、圏論が一気にイメージしやすくなりました冒頭や、なんならサムネにしてもいいと思える図

@keimorisue1744 2 жыл бұрын

6:18 対象Aも頭搔いて困っとる

@HojoMinori 2 жыл бұрын

そう言われるとそうとしか見えなくなってくるじゃないですか…！

@keimorisue1744 2 жыл бұрын

@@HojoMinori ひょっとして圏論あるあるネタかと思いましたところで同じ対象を結ぶ射は一意でなくてもゆるされますか？向きが逆とか何か違う特徴づけがされるとか。

@HojoMinori 2 жыл бұрын

@@keimorisue1744 同じ対象を結ぶ射はたくさんあってもよいですし、1個もなくてもよいです。第3回で出てくる「型の圏」とか、まさに同じ対象を結ぶ射がいっぱいある例になっています

@keimorisue1744 2 жыл бұрын

@@HojoMinori 得心いきました！人物相関図の例がすごく分かりやすかったため、そこから「べつに関係性は一通りじゃないこともあるよな...（関係性オタク並感）」と思い至れました!

@HH-ol1bi 10 ай бұрын

わかりやすい解説ありがとうございます．一つ質問ですが，7分40秒ぐらいから出てくる「人間関係の圏」における「恒等射」はどのように考えれば良いのでしょうか？またA->Bへの射は，A->C->Bの合成だと思うのですが，「幼馴染の親友＝好き」ということが成り立つのですか？まあこれは例ですから，そこまで厳密にすることはないのでしょうが．それから順序の圏に出てくる２，３，４にも恒等射があって，図が煩雑になるので省略されている，と考えて良いのでしょうか？

@HojoMinori 9 ай бұрын

コメントありがとうございます。人間関係の圏では｢射の合成は人間関係をたどること｣と定義しているので、｢幼馴染の親友が好き｣というありふれた関係(?)として解釈して下さい。順序の圏では恒等射を省略しています。恒等射は必ず存在するのでよく省略されますが、入門編では一言あるべきでしたね。ご指摘ありがとうございます。