ぼんやりYoutubeを見ていたら，Emily Riehlが出てきてびっくりしました．
The Woman Who's Rewriting Higher Category Theory という動画なんですけど．
ずっと写ってるロックな感じのお姉さんがRiehlです．
Emily Riehl というのは有名な圏論の教科書 『Category Theory in Context』（PDFが無償で公開されています！）の著者なんですが，動いてしゃべってるところは初めて拝見しますね．
というか，Higher Category Theory を書き直しちゃうくらい大きな仕事をしたひとなんですね．そこまで存じ上げなかったですが．
射から射への射は２次元のもので，「射から射への射」の間の射は３次元のものと思える．これを繰り返していけばいいみたいなことを話されてる感じがしますが，
私自身は圏論は随伴関手定理くらいまでしか知りませんので彼女の話はわかりません．
でもなんだか興奮してるっぽいです．何かブレークスルーがあったのでしょうか．
圏論なんかLeinsterの Basic Category Theory の内容がわかってれば十分だと思っていましたが，ちょっと圏論をやりたくなりました．
