行列と線形写像の線形代数と圏論的視点による考察

drive.google.com

　今回は線形代数の重要である「行列と線形写像が等価である」という事実を線形代数と圏論という２つの視点で考察してみました。

　得られた結果は「行列と線形写像が等価である」という事と「MatとFDVectは圏同値である」という事が等価であるというものでした。

　「線形代数の重要な事実」と「関手が充満忠実である事と対象について本質的に全射である事」が対応しているという事に気付き感動しました。