今回はシリーズ第1回目である。プレ加法圏について議論する。圏の定義などを既知とする。 プレ加法圏は加法圏よりも広い概念である。そこではゼロ対象やゼロ射やバイプロダクト(直和)が定義される。 ゼロ対象 プレ加法圏 加法圏

しばらくアーベル圏について勉強していたのでそれをまとめる。 ただし、まだ三角圏・導来圏は学んでいないのでそれらは知らない。まずこれらすべての圏は加法圏(additive category)の特別なものである。 したがって、まず加法圏やさらにそれよりも広い概念で…

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

サボり記事第七弾 予約投稿第六弾 2/4, 23:59予定 私はいま層(Sheaves)を勉強しています。そのためアーベル圏(Abelian categories)を勉強しています。ですので、これから圏からはじまり加法圏とアーベル圏を少しずつ書きたいと思います。アーベル圏の入門み…