K's Atelier

個人的な学習記録

Category Theory on Youtube

ふと気になって,「Category Theory」で調べてみたら,いろいろ見つかった。

 

Category Theory 1.1: Motivation and Philosophy - YouTube

"Category Theory for Programmer"の著者による解説。著者ではない人による解説も見つかった。

 

Categories 1 Introduction - YouTube

数学的に深いところまで解説されている(気がする)動画。たくさんあるのでさわりしか見ていないのだが,参考になる。圏論の概念は,「一周してもどってきて,改めてまとめると関係が分かる」感じなのだ。本を読むより最初は動画で全体像をつかんだ方が良い。

 

AWSを眺めていると,「従来のような,構成要素を網羅的に把握する」のは不可能だと感じる。個々のサービスが勝手に改変されていくので,「時間をかければ全体が分かる」ようにはならない。

圏論のような「全体的な関係を掴む」という理解の方法が,AWSのようなWebサービスの理解にも応用できる気がする。