圏論勉強会

でした＠土曜日。
linear category というのを導入する話だったのだけど、その中で sum of maps を考える問題で激しく詰まってしまった。2時間くらい考えても結局解けず*1。ムズ。

あと、ラーメン二郎は一人で食いに行きました。

*1:テキストに出て来ないnatural transformationを使ってだと解けた。