今回はシリーズ第1回目である。プレ加法圏について議論する。圏の定義などを既知とする。 プレ加法圏は加法圏よりも広い概念である。そこではゼロ対象やゼロ射やバイプロダクト(直和)が定義される。 ゼロ対象 プレ加法圏 加法圏
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。