bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

圏論勉強会

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

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

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

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。