圏論とは何か【第一回圏論初心者講座】

[@橋本理-c5l]

圏と関手と普遍性について初めて理解できました。ありがとうございます。

[@いろはうた-n6z]

待ってました！！
めちゃくちゃいい導入じゃないですかこれ…
数学のある特定の分野の導入って、こんな感じの概要説明がとってもいいなぁって思いました！
ありがとうございます！！

[@soumei812]

しがない数学徒さんの動画からやってきました。素晴らしい動画を有り難うございます。

[@fobonu2ec]

別の世界に行って、行った先で元の問題を考えるってアイデアはラングランズプログラムとか宇宙際タイヒミューラー理論でも似たようなこと聞いたことありますね。

[@saundersN]

KAN拡張というよりは（応用としての）随伴と自然変換だろうな．
ベシ圏は随伴をはじめの方に持ってくるから，明白にマクレーン本のKAN拡張への導入を意識してるはず．

[@hirokimorita9153]

ここでのUは、群としての構造を破壊してただの集合に戻す写像？ 操作でしょうか。

[@alg-dx]

動画内で説明している通りです。