ここで圏論と線型代数の関わりについて。 というか、同型という概念だよね。 $F:a\to b \ , \ G:b\to a$として、$F \circ G=I_a \ , \ G \circ F=I_b$ってことなんだな。 合成汁と逝って返ってくるんだから何もしない、これが恒等射ってやつじゃん。 単位元$…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。