2018-11-29から1日間の記事一覧
概要: LawvereとSchauel共著のConceptual Mathematicsのsession 26には加法圏について議論されている。そこでは射の行列表示を定義して、Exercise 1(p.280)の問題はこの行列表示は普通の行列(線形代数で現れる行列)と同じように計算できることを示せというも…
概要: LawvereとSchauel共著のConceptual Mathematicsのsession 26には加法圏について議論されている。そこでは射の行列表示を定義して、Exercise 1(p.280)の問題はこの行列表示は普通の行列(線形代数で現れる行列)と同じように計算できることを示せというも…