ふと気になって,「Category Theory」で調べてみたら,いろいろ見つかった。
Category Theory 1.1: Motivation and Philosophy - YouTube
"Category Theory for Programmer"の著者による解説。著者ではない人による解説も見つかった。
Categories 1 Introduction - YouTube
数学的に深いところまで解説されている(気がする)動画。たくさんあるのでさわりしか見ていないのだが,参考になる。圏論の概念は,「一周してもどってきて,改めてまとめると関係が分かる」感じなのだ。本を読むより最初は動画で全体像をつかんだ方が良い。
AWSを眺めていると,「従来のような,構成要素を網羅的に把握する」のは不可能だと感じる。個々のサービスが勝手に改変されていくので,「時間をかければ全体が分かる」ようにはならない。