圏論入門

Awodeyのcategory theory(2nd edition)を読みながらexponentialについて考えていたのだが、そこに書いてあった書評から

http://nineties.github.io/category-seminar/#/
という資料を見つけた。おそらく現存する圏論の（プログラミング寄りの）説明のなかで、もっとも簡単でわかりやすいものだと思う。これを見て、もはや自分が改めてここで圏論について何かを説明することはないな、と思った。これ読みましょう、一緒に。

youtubeで「圏論勉強会」でググると講義も出てきます。