「関手圏と行列」の動画を見て復習
https://img.hyuki.net/twitter-1211204881362509826-1.jpg
https://img.hyuki.net/twitter-1211206100856401921-1.jpg
今回動画を見返して書いてわかったのは、自分で書かないと見逃していることがたくさんあった点。やはり書くの大事。わかってないと書けない。例えば、私はF=Gという条件を見逃していた。可換図式を描こうとして初めて「なんでF(1)=G(1)なんだっけ?」と気づいた。
もう一つ。f_1^n とf_0^nとを勘違いしていた。恒等写像をn乗しても意味ないじゃん!